Publications

Export 83 results:
Author Keyword Title Type [ Year(Asc)]
2013
G. Jing, Ehlers, R., and Kress-Gazit, H., “Shortcut Through an Evil Door: Optimality of Correct-by-Construction Controllers in Adversarial Environments”, in IEEE International Conference on Intelligent Robots and Systems, 2013.
V. Raman, Lignos, C., Finucane, C., Lee, K., Marcus, M., and Kress-Gazit, H., “Sorry Dave, I'm Afraid I Can't Do That: Explaining Unachievable Robot Tasks Using Natural Language”, in Robotics: Science and Systems, 2013.
2012
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.
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.
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.
B. Johnson, Havlak, F., Campbell, M., and Kress-Gazit, H., “Execution and Analysis of High-Level Tasks with Dynamic Obstacle Anticipation”, in IEEE International Conference on Robotics and Automation (ICRA), 2012.
V. Raman and Kress-Gazit, H., “Explaining Impossible High-Level Robot Behaviors”, Robotics, IEEE Transactions on, vol. PP, pp. 1 -11, 2012.
S. Sarid, Xu, B., and Kress-Gazit, H., “Guaranteeing High-Level Behaviors while Exploring Partially Known Maps”, in Proceedings of Robotics: Science and Systems, Sydney, Australia, 2012.
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.
V. Raman, Finucane, C., and Kress-Gazit, H., “Temporal logic robot mission planning for slow and fast actions”, in IEEE/RSJ International Conference on Intelligent Robots and Systems, 2012, pp. 251-256.
2011
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.
H. Kress-Gazit, Wongpiromsarn, T., and Topcu, U., “Correct, Reactive, High-Level Robot Control”, IEEE Robotics Automation Magazine, vol. 18, pp. 65-74, 2011.
C. Finucane, Jing, G., and Kress-Gazit, H., “Designing Reactive Robot Controllers with LTLMoP”, in Automated Action Planning for Autonomous Mobile Robots, 2011.
S. Castro, Koehler, S., and Kress-Gazit, H., “High-level control of modular robots”, in EEE/RSJ International Conference on Intelligent Robots and Systems, 2011, pp. 3120-3125.
B. Johnson and Kress-Gazit, H., “Probabilistic Analysis of Correctness of High-Level Robot Behavior with Sensor Error”, in Proceedings of Robotics: Science and Systems, Los Angeles, CA, USA, 2011.
H. Kress-Gazit, “Robot Challenges: Toward Development of Verication and Synthesis Techniques [Errata]”, IEEE Robotics Automation Magazine, vol. 18, pp. 108-109, 2011.
2010
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.
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.
D. Lee, McClelland, M., Schneider, J., Yang, T. - L., Gallagher, D., Shah, D., Ahmed, N., Moran, P., Nathan, A., Kress-Gazit, H., and Campbell, M., “Distributed, Collaborative Human-Robotic Networks for Outdoor Experiments in Search, Identify and Track”, in SPIE Europe Conference on Unmanned/Unattended Sensors and Sensor Networks, Toulouse France, 2010.
C. Finucane, Jing, G., and Kress-Gazit, H., “LTLMoP: Experimenting with Language, Temporal Logic and Robot Control”, in IEEE/RSJ Int'l. Conf. on Intelligent Robots and Systems, Taipei, Taiwan, 2010, pp. 1988 - 1993.
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.
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.
2008
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.
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, Ayanian, N., Pappas, G. J., and Kumar, V., “Recycling controllers”, in IEEE Conference on Automation Science and Engineering, Washington D.C., USA, 2008.

Pages