Export 95 results:
Author Keyword [ Title(Desc)] Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
G. Jing, Tosun, T., Yim, M., and Kress-Gazit, H., Accomplishing high-level tasks with modular robots, Autonomous Robots, vol. 42, pp. 1337–1354, 2018.
B. Johnson and Kress-Gazit, H., Analyzing and Revising High-Level Robot Behaviors Under Actuator Error, in IEEE/RSJ Int'l. Conf. on Intelligent Robots and Systems, Tokyo, Japan, 2013.
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.
V. Raman and Kress-Gazit, H., Analyzing Unsynthesizable Specifications for High-Level Robot Behavior Using LTLMoP, in 23rd International Conference on Computer Aided Verification, 2011, pp. 663-668.
V. Raman and Kress-Gazit, H., Automated Feedback For Unachievable High-Level Robot Behaviors, in IEEE International Conference on Robotics and Automation, 2012, pp. 5156-5162.
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.
S. Moarref and Kress-Gazit, H., Automated synthesis of decentralized controllers for robot swarms from high-level temporal logic specifications, Autonomous Robots, 2019.
A. Pacheck, Konidaris, G., and Kress-Gazit, H., Automatic Encoding and Repair of Reactive High-Level Tasks with Learned Abstract Representations, in The International Symposium on Robotics Research (ISRR), Hanoi, Vietnam, 2019.
H. Kress-Gazit and Pappas, G. J., Automatic Synthesis of Robot Controllers for Tasks with Locative Prepositions, in IEEE International Conference on Robotics and Automation, Anchorage, Alaska, 2010, pp. 3215-3220.
H. Kress-Gazit and Pappas, G. J., Automatically Synthesizing a Planning and Control Subsystem for the DARPA Urban Challenge, in IEEE Conference on Automation Science and Engineering, Washington D.C., USA, 2008.
V. Raman, Xu, B., and Kress-Gazit, H., Avoiding forgetfulness: Structured English specifications for high-level robot control with implicit memory, in IEEE/RSJ International Conference on Intelligent Robots and Systems, 2012, pp. 1233-1238.
H. Kress-Gazit and Torfah, H., The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems, in Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology, CREST@ETAPS 2018, Thessaloniki, Greece, 21st April 2018, 2018.
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), vol. 34, no. Special Issue on the DARPA Robotics Challenge Finals, p. 333--358, 2017.
J. A. DeCastro, Alonso-Mora, J., Raman, V., Rus, D., and Kress-Gazit, H., Collision-Free Reactive Mission and Motion Planning for Multi-Robot Systems, in International Symposium on Robotics Research (ISRR), Sestri Levante, Italy, 2015.
T. Tosun, Jing, G., Kress-Gazit, H., and Yim, M., Computer-Aided Compositional Design and Verification for Modular Robots, in The International Symposium on Robotics Research, Sestri Levante, Italy, 2015.
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.
J. M. Allbeck and Kress-Gazit, H., Constraints-based complex behavior in rich environments, in Proceedings of the 10th international conference on Intelligent virtual agents, Berlin, Heidelberg, 2010, pp. 1–14.
J. Arkin, Walter, M. R., Boteanu, A., Napoli, M. E., Biggie, H., Kress-Gazit, H., and Howard, T. M., Contextual Awareness: Understanding Monologic Natural Language Instructions for Autonomous Robots, in Proceedings of the IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN), 2017.
K. Weng Wong, Ehlers, R., and Kress-Gazit, H., Correct high-level robot behavior in environments with unexpected events, in Robotics: Science and Systems Conference (RSS’14), 2014.
G. Jing, Finucane, C., Raman, V., and Kress-Gazit, H., Correct High-level Robot Control from Structured English, in IEEE International Conference on Robotics and Automation, 2012, pp. 3543-3544.
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.