Probabilistic Analysis of Correctness of High-Level Robot Behavior with Sensor Error. - Benjamin Johnson 002; Hadas Kress-Gazit (Robotics: Science and Systems, 2011)

Execution and analysis of high-level tasks with dynamic obstacle anticipation. - Benjamin Johnson 002; Frank Havlak; Mark E. Campbell; Hadas Kress-Gazit (ICRA, 2012)

Probabilistic guarantees for high-level robot behavior in the presence of sensor error. - Benjamin Johnson 002; Hadas Kress-Gazit (Auton. Robots, 2012)

Analyzing and revising high-level robot behaviors under actuator error. - Benjamin Johnson 002; Hadas Kress-Gazit (IROS, 2013)

Analyzing and revising synthesized controllers for robots with sensing and actuation errors. - Benjamin Johnson 002; Hadas Kress-Gazit (Int. J. Robotics Res., 2015)

Experimental Evaluation and Formal Analysis of High-Level Tasks with Dynamic Obstacle Anticipation on a Full-Sized Autonomous Vehicle. - Benjamin Johnson 002; Frank Havlak; Hadas Kress-Gazit; Mark E. Campbell (J. Field Robotics, 2017)