Publications

Export 40 results:
Author Keyword Title Type [ Year(Desc)]
Filters: Author is Hadas Kress-Gazit  [Clear All Filters]
2005
G. E. Fainekos, Kress-Gazit, H., and Pappas, G. J., Hybrid Controllers for Path Planning: A Temporal Logic Approach, in Proceedings of the 44th IEEE Conference on Decision and Control, 2005, pp. 4885 - 4890.
G. E. Fainekos, Kress-Gazit, H., and Pappas, G. J., Temporal logic motion planning for mobile robots, in IEEE International Conference on Robotics and Automation, Barcelona, Spain, 2005, pp. 2020-2025.
2007
H. Kress-Gazit, Fainekos, G. E., and Pappas, G. J., From Structured English to Robot Motion, in Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2007, pp. 2717-2722.
G. E. Fainekos, Girard, A., Kress-Gazit, H., and Pappas, G. J., Temporal Logic Motion Planning for Dynamic Robots. Dept. of CIS, Univ. of Pennsylvania, 2007.
H. Kress-Gazit, Fainekos, G. E., and Pappas, G. J., Where's Waldo? Sensor-Based Temporal Logic Motion Planning, in IEEE International Conference on Robotics and Automation, Rome, Italy, 2007, pp. 3116-3121.
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, Ayanian, N., Pappas, G. J., and Kumar, V., Recycling controllers, in IEEE Conference on Automation Science and Engineering, Washington D.C., USA, 2008.
H. Kress-Gazit, Transforming high-level tasks to low-level controllers, University of Pennsylvania, Philadephia, PA, 2008.
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.
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.
C. Finucane, Jing, G., and Kress-Gazit, H., Designing Reactive Robot Controllers with LTLMoP, in Automated Action Planning for Autonomous Mobile Robots, 2011.
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.
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.
2013
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.
V. Raman and Kress-Gazit, H., Explaining Impossible High-Level Robot Behaviors, IEEE Transactions on Robotics, vol. 29, pp. 94–104, 2013.
J. DeCastro and Kress-Gazit, H., Guaranteeing Reactive High-Level Behaviors for Robots with Complex Dynamics, in IEEE/RSJ Int'l. Conf. on Intelligent Robots and Systems, Tokyo, Japan, 2013.
G. Jing and Kress-Gazit, H., Improving the Continuous Execution of Reactive LTL-based Controllers, in IEEE International Conference on Robotics and Automation, Karlsruhe, Germany, 2013.
V. Raman and Kress-Gazit, H., Minimal Explanations of Unsynthesizability for High-Level Robot Behaviors, in IEEE International Conference on Robotics and Automation, 2013.

Pages