Publications

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 
N
K. Weng Wong and Kress-Gazit, H., Needed-based Coordination for Decentralized High-level Robot Control, in IEEE International Conference on Intelligent Robots and Systems (IROS2016), Daejeon, Korea, 2016.
J. A. DeCastro and Kress-Gazit, H., Nonlinear Controller Synthesis and Automatic Workspace Partitioning for Reactive High-Level Behaviors, in Proceedings of the 19th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), Vienna, Austria, 2016.
O
S. Maniatopoulos, Blair, M., Finucane, C., and Kress-Gazit, H., Open-world mission specification for reactive robots, in Robotics and Automation (ICRA), 2014 IEEE International Conference on, 2014.
R
S. Maniatopoulos, Schillinger, P., Pong, V., Conner, D. C., and Kress-Gazit, H., Reactive high-level behavior synthesis for an Atlas humanoid robot, in 2016 IEEE International Conference on Robotics and Automation (ICRA), 2016.
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.
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, vol. 42, pp. 801–824, 2018.
S. Moarref and Kress-Gazit, H., Reactive Synthesis for Robotic Swarms, in Formal Modeling and Analysis of Timed Systems (FORMATS), Beijing, China, 2018, p. 71--87.
H. Kress-Gazit, Ayanian, N., Pappas, G. J., and Kumar, V., Recycling controllers, in IEEE Conference on Automation Science and Engineering, Washington D.C., USA, 2008.
K. W. Wong, Ehlers, R., and Kress-Gazit, H., Resilient, Provably-Correct, and High-Level Robot Behaviors, IEEE Transactions on Robotics, vol. 34, pp. 936-952, 2018.
S. Hamill, Whitehead, J., Ferenz, P., Shepherd, R. F., and Kress-Gazit, H., Resilient Task Planning and Execution for Reactive Soft Robots, in 2019 International Conference on Robotics and Automation (ICRA), 2019.
M. Lahijanian, Svorenova, M., Morye, A. A., Yeomans, B., Rao, D., Posner, I., Newman, P., Kress-Gazit, H., and Kwiatkowska, M., Resource-Performance Tradeoff Analysis for Mobile Robots, IEEE Robotics and Automation Letters, vol. 3, pp. 1840-1847, 2018.
H. Kress-Gazit, Robot Challenges: Toward Development of Verication and Synthesis Techniques [Errata], IEEE Robotics Automation Magazine, vol. 18, pp. 108-109, 2011.
A. Mehta, DelPreto, J., Wong, K. Weng, Hamill, S., Kress-Gazit, H., and Rus, D., Robot Creation from Functional Specifications, in The International Symposium on Robotics Research (ISRR), Sestri Levante, Italy, 2015.
K. Weng Wong and Kress-Gazit, H., Robot Operating System (ROS) Introspective Implementation of High-Level Task Controllers, Journal of Software Engineering for Robotics (JOSER) - Special Issue on the IRC2017 Conference, vol. 8, no. 1, pp. 65-77, 2017.
A. Boteanu, Arkin, J., Patki, S., Howard, T., and Kress-Gazit, H., Robot-Initiated Specification Repair through Grounded Language Interaction, in AAAI Fall Symposium 2017, Natural Communication for Human-Robot Collaboration, 2017.

Pages