MAE Publications and Papers

Sibley School of Mechanical and Aerospace Engineering

Posts Tagged: high-level behaviors

HomePosts Tagged "high-level behaviors"

Tag Archives: high-level behaviors

New article: Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control

Article: Raman, V; Piterman, N; Finucane, C; Kress-Gazit, H; (2015) “Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control”, IEEE Transactions on Robotics, 31 (3):591-604 DOI Abstract: The use of formal methods ...
Read More

July 9, 2015Uncategorizedformal methods, high-level behaviors, temporal logic synthesis

New article: Explaining Impossible High-Level Robot Behaviors

Article: Raman, V; Kress-Gazit, H (2013). “Explaining Impossible High-Level Robot Behaviors.” IEEE Transactions on Robotics 29(1):94-104. DOI Abstract: A key challenge in robotics is the generation of controllers for autonomous, high-level robot behaviors comprising ...
Read More

March 1, 2013Uncategorizedalgorithm, autonomous, controller, formal methods, high-level behaviors, robot, robotics, satisfiability, temporal logic

menu

MAE Publications and Papers

Sibley School of Mechanical and Aerospace Engineering

Posts Tagged: high-level behaviors