Benjamin Johnson

发表

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

Benjamin Johnson, Hadas Kress-Gazit, 2011, Robotics: Science and Systems.

Probabilistic guarantees for high-level robot behavior in the presence of sensor error

Benjamin Johnson, Hadas Kress-Gazit, 2012, Auton. Robots.

Experimental Evaluation and Formal Analysis of High-Level Tasks with Dynamic Obstacle Anticipation on a Full-Sized Autonomous Vehicle

Benjamin Johnson, Hadas Kress-Gazit, Mark E. Campbell, 2017, J. Field Robotics.