Publications

Export 72 results:
Author Keyword Title [ Type(Desc)] Year
Journal Article
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.
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.
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.
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.
H. Kress-Gazit, Wongpiromsarn, T., and Topcu, U., Correct, Reactive, High-Level Robot Control, IEEE Robotics Automation Magazine, vol. 18, pp. 65-74, 2011.
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.
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.
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.
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.
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.
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.
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.
H. Kress-Gazit, Robot Challenges: Toward Development of Verication and Synthesis Techniques [Errata], IEEE Robotics Automation Magazine, vol. 18, pp. 108-109, 2011.
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, 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.
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.
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.
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.

Pages