Publications

Export 72 results:
Author Keyword Title [ Type(Asc)] Year
Journal Article
H. Kress-Gazit, Fainekos, G. E., and Pappas, G. J., Translating Structured English to Robot Controllers, Advanced Robotics Special Issue on Selected Papers from IROS 2007, vol. 22, pp. 1343-1359, 2008.
V. Raman, Piterman, N., Finucane, C., and Kress-Gazit, H., Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control, IEEE Transactions on Robotics, vol. 31, pp. 591–604, 2015.
G. E. Fainekos, Girard, A., Kress-Gazit, H., and Pappas, G. J., Temporal logic motion planning for dynamic robots, Automatica, vol. 45, pp. 343 - 352, 2009.
H. Kress-Gazit, Fainekos, G. E., and Pappas, G. J., Temporal Logic based Reactive Mission and Motion Planning, IEEE Transactions on Robotics, vol. 25, pp. 1370–1381, 2009.
J. A. DeCastro and Kress-Gazit, H., Synthesis of nonlinear continuous controllers for verifiably correct high-level, reactive behaviors, I. J. Robotic Res., vol. 34, pp. 378–394, 2015.
H. Kress-Gazit, Robot Challenges: Toward Development of Verication and Synthesis Techniques [Errata], IEEE Robotics Automation Magazine, vol. 18, pp. 108-109, 2011.
J. Alonso-Mora, DeCastro, J. A., Raman, V., Rus, D., and Kress-Gazit, H., Reactive mission and motion planning with deadlock resolution avoiding dynamic obstacles, Autonomous Robots, 2017.
C. Lignos, Raman, V., Finucane, C., Marcus, M., and Kress-Gazit, H., Provably Correct Reactive Control from Natural Language, Auton. Robots, vol. 38, pp. 89–105, 2015.
B. Johnson and Kress-Gazit, H., Probabilistic Guarantees for High-Level Robot Behavior in the Presence of Sensor Error, Autonomous Robots, vol. 33, pp. 309-321, 2012.
M. Lahijanian, Maly, M. R., Fried, D., Kavraki, L. E., Kress-Gazit, H., and Vardi, M., Iterative Temporal Planning in Uncertain Environments with Partial Satisfaction Guarantees, IEEE Transactions on Robotics, vol. 32, pp. 583-599, 2016.
V. Raman and Kress-Gazit, H., Explaining Impossible High-Level Robot Behaviors, Robotics, IEEE Transactions on, vol. PP, pp. 1 -11, 2012.
V. Raman and Kress-Gazit, H., Explaining Impossible High-Level Robot Behaviors, IEEE Transactions on Robotics, vol. 29, pp. 94–104, 2013.
B. Johnson, Havlak, F., Kress-Gazit, H., and Campbell, M., Experimental Evaluation and Formal Analysis of High-Level Tasks with Dynamic Obstacle Anticipation on a Full-Sized Autonomous Vehicle, Journal of Field Robotics, 2017.
H. Kress-Gazit, Conner, D. C., Choset, H., Rizzi, A. A., and Pappas, G. J., Courteous cars: Decentralized multi-agent traffic coordination, Robotics and Automation Magazine, vol. 15, pp. 30-38, 2008.
H. Kress-Gazit, Wongpiromsarn, T., and Topcu, U., Correct, Reactive, High-Level Robot Control, IEEE Robotics Automation Magazine, vol. 18, pp. 65-74, 2011.
E. Abraham, Kress-Gazit, H., Natale, L., and Tacchella, A., Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071), Dagstuhl Reports, vol. 7, pp. 48–63, 2017.
A. Romay, Maniatopoulos, S., Kohlbrecher, S., Schillinger, P., Stumpf, A., Kress-Gazit, H., von Stryk, O., and Conner, D., Collaborative Autonomy Between High-level Behaviors and Human Supervisors for Remote Manipulation Tasks using Different Humanoid Robots, Journal of Field Robotics (JFR), no. Special Issue on the DARPA Robotics Challenge Finals, 2016.
J. DeCastro, Ehlers, R., Rungger, M., Balkan, A., and Kress-Gazit, H., Automated generation of dynamics-based runtime certificates for high-level control, Discrete Event Dynamic Systems, vol. 27, no. 2, p. 371--405, 2017.
B. Johnson and Kress-Gazit, H., Analyzing and revising synthesized controllers for robots with sensing and actuation errors, I. J. Robotic Res., vol. 34, pp. 816–832, 2015.
Conference Paper
H. Kress-Gazit, Fainekos, G. E., and Pappas, G. J., Where's Waldo? Sensor-Based Temporal Logic Motion Planning, in IEEE International Conference on Robotics and Automation, Rome, Italy, 2007, pp. 3116-3121.

Pages