Benjamin Johnson

Publication Activity (10 Years)

Years Active: 2011-2017
Publications (10 Years): 1

Top Topics

Formal Analysis

Physical Objects

Top Venues

J. Field Robotics

Int. J. Robotics Res.

Publications

Benjamin Johnson, Frank Havlak, Hadas Kress-Gazit, Mark E. Campbell
Experimental Evaluation and Formal Analysis of High-Level Tasks with Dynamic Obstacle Anticipation on a Full-Sized Autonomous Vehicle. J. Field Robotics 34 (5) (2017)
Benjamin Johnson, Hadas Kress-Gazit
Analyzing and revising synthesized controllers for robots with sensing and actuation errors. Int. J. Robotics Res. 34 (6) (2015)
Benjamin Johnson, Hadas Kress-Gazit
Analyzing and revising high-level robot behaviors under actuator error. IROS (2013)
Benjamin Johnson, Frank Havlak, Mark E. Campbell, Hadas Kress-Gazit
Execution and analysis of high-level tasks with dynamic obstacle anticipation. ICRA (2012)
Benjamin Johnson, Hadas Kress-Gazit
Probabilistic guarantees for high-level robot behavior in the presence of sensor error. Auton. Robots 33 (3) (2012)
Benjamin Johnson, Hadas Kress-Gazit
Probabilistic Analysis of Correctness of High-Level Robot Behavior with Sensor Error. Robotics: Science and Systems (2011)