Article: Alonso-Mora, J; DeCastro, JA; Raman, V; Rus, D; Kress-Gazit, H; “Reactive Mission and Motion Planning with Deadlock Resolution Avoiding Dynamic Obstacles”, Autonomous Robots, 42 (4): 801-824 DOI Abstract: In the near future mobile robots, such as ...
Read More
Article: DeCastro, J; Ehlers, R; Rungger, M; Dagger, A; Kress-Gazit, H; “Automated Generation of Dynamics-Based Runtime Certificates for High-Level Control”, Discrete Event Dynamic Systems-Theory and Applications, 27 (2):371-405 DOI Abstract: This paper addresses the problem ...
Read More
Article: Lahijanian, M; Maly, MR; Fried, D; Kavraki, LE; Kress-Gazit, H; Vardi, MY; (2016) “Iterative Temporal Planning in Uncertain Environments With Partial Satisfaction Guarantees”, IEEE Transactions on Robotics, 32 (3):583-599 DOI Abstract: This paper ...
Read More
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
Article: Lignos, C; Raman, V; Finucane, C; Marcus, M; Kress-Gazit, H; (2015) “Provably Correct Control from Natural Language”, Autonomous Robots, 38 (1):89-105 DOI Abstract: This paper presents an integrated system for generating, troubleshooting, and ...
Read More
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