conftrace_

sensor error

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

waypoint tracking (1) correctness guarantee (1) satisfaction probability (1) probabilistic analysis (1) correctness verification (1) feedback control (1) temporal logic (1) autonomous vehicle (1) robot behavior (1) kernel regression (1)

Papers

Certainty Equivalent Perception-Based Control L4DC 2021 Probabilistic Analysis of Correctness of High-Level Robot Behavior with Sensor Error RSS 2011