Publications

Export 64 results:
Author Keyword Title Type [ Year(Asc)]
2016
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.
G. Jing, Tuson, T., Yim, M., and Kress-Gazit, H., An End-To-End System for Accomplishing Tasks with Modular Robots, in 2016 Robotics: Science and Systems Conference, Ann Arbor, Michigan, USA, 2016.
S. Hamill, Peele, B., Ferenz, P., Westwater, M., Shepherd, R. F., and Kress-Gazit, H., Gait Synthesis for Modular Soft Robots, in International Symposium on Experimental Robotics, Tokyo, Japan, 2016.
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.
A. Boteanu, Howard, T., Arkin, J., and Kress-Gazit, H., A Model for Verifiable Grounding and Execution of Complex Natural Language Instructions, in IEEE IROS 2016, Proceedings of, 2016.
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.
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.
2015
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. 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. Tuson, 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.
J. A. DeCastro, Raman, V., and Kress-Gazit, H., Dynamics-driven adaptive abstraction for reactive high-level mission and motion planning, in Robotics and Automation (ICRA), 2015 IEEE International Conference on, 2015.
K. Weng Wong and Kress-Gazit, H., Let's talk: Autonomous conflict resolution for robots carrying out individual high-level tasks in a shared workspace, in Robotics and Automation (ICRA), 2015 IEEE International Conference on, 2015.
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.
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.
R. Alur, Bodík, R., Dallal, E., Fisman, D., Garg, P., Juniwal, G., Kress-Gazit, H., Madhusudan, P., Martin, M. M. K., Raghothaman, M., Saha, S., Seshia, S. A., Singh, R., Solar-Lezama, A., Torlak, E., and Udupa, A., Syntax-Guided Synthesis, in Dependable Software Systems Engineering, 2015, pp. 1–25.
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.
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.

Pages