conftrace_

satisfaction probability

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

correctness guarantee (1) sensor error (1) probabilistic analysis (1) correctness verification (1) temporal logic (1) robot behavior (1) formal verification (1)

Papers

Probabilistic Analysis of Correctness of High-Level Robot Behavior with Sensor Error RSS 2011