Hadas Kress-Gazit, Ph.D. - Publications

Affiliations: 
2008 University of Pennsylvania, Philadelphia, PA, United States 
Area:
Information and Decision Systems

43 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2015 Johnson B, Kress-Gazit H. Analyzing and revising synthesized controllers for robots with sensing and actuation errors International Journal of Robotics Research. 34: 816-832. DOI: 10.1177/0278364914562980  1
2015 Decastro JA, Kress-Gazit H. Synthesis of nonlinear continuous controllers for verifiably correct high-level, reactive behaviors International Journal of Robotics Research. 34: 378-394. DOI: 10.1177/0278364914557736  1
2015 Raman V, Piterman N, Finucane C, Kress-Gazit H. Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control Ieee Transactions On Robotics. 31: 591-604. DOI: 10.1109/TRO.2015.2414134  1
2015 DeCastro JA, Raman V, Kress-Gazit H. Dynamics-driven adaptive abstraction for reactive high-level mission and motion planning Proceedings - Ieee International Conference On Robotics and Automation. 2015: 369-376. DOI: 10.1109/ICRA.2015.7139025  1
2015 Wong KW, Kress-Gazit H. Let's talk: Autonomous conflict resolution for robots carrying out individual high-level tasks in a shared workspace Proceedings - Ieee International Conference On Robotics and Automation. 2015: 339-345. DOI: 10.1109/ICRA.2015.7139021  1
2014 Maniatopoulos S, Blair M, Finucane C, Kress-Gazit H. Open-world mission specification for reactive robots Proceedings - Ieee International Conference On Robotics and Automation. 4328-4334. DOI: 10.1109/ICRA.2014.6907489  1
2014 Raman V, Kress-Gazit H. Synthesis for multi-robot controllers with interleaved motion Proceedings - Ieee International Conference On Robotics and Automation. 4316-4321. DOI: 10.1109/ICRA.2014.6907487  1
2014 Lignos C, Raman V, Finucane C, Marcus M, Kress-Gazit H. Provably correct reactive control from natural language Autonomous Robots. 38: 89-105. DOI: 10.1007/s10514-014-9418-8  1
2014 Ehlers R, Seshia SA, Kress-Gazit H. Synthesis with identifiers Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8318: 415-433. DOI: 10.1007/978-3-642-54013-4_23  1
2013 Raman V, Kress-Gazit H. Explaining impossible high-level robot behaviors Ieee Transactions On Robotics. 29: 94-104. DOI: 10.1109/TRO.2012.2214558  1
2013 Jing G, Ehlers R, Kress-Gazit H. Shortcut through an evil door: Optimality of correct-by-construction controllers in adversarial environments Ieee International Conference On Intelligent Robots and Systems. 4796-4802. DOI: 10.1109/IROS.2013.6697048  1
2013 Wong KW, Finucane C, Kress-Gazit H. Provably-correct robot control with LTLMoP, OMPL and ROS Ieee International Conference On Intelligent Robots and Systems. 2073. DOI: 10.1109/IROS.2013.6696636  1
2013 Raman V, Kress-Gazit H. Towards minimal explanations of unsynthesizability for high-level robot behaviors Ieee International Conference On Intelligent Robots and Systems. 757-762. DOI: 10.1109/IROS.2013.6696436  1
2013 Decastro JA, Kress-Gazit H. Guaranteeing reactive high-level behaviors for robots with complex dynamics Ieee International Conference On Intelligent Robots and Systems. 749-756. DOI: 10.1109/IROS.2013.6696435  1
2013 Johnson B, Kress-Gazit H. Analyzing and revising high-level robot behaviors under actuator error Ieee International Conference On Intelligent Robots and Systems. 741-748. DOI: 10.1109/IROS.2013.6696434  1
2013 Jing G, Kress-Gazit H. Improving the continuous execution of reactive LTL-based controllers Proceedings - Ieee International Conference On Robotics and Automation. 5439-5445. DOI: 10.1109/ICRA.2013.6631357  1
2013 Raman V, Piterman N, Kress-Gazit H. Provably correct continuous control for high-level robot behaviors with actions of arbitrary execution durations Proceedings - Ieee International Conference On Robotics and Automation. 4075-4081. DOI: 10.1109/ICRA.2013.6631152  1
2013 Sarid S, Xu B, Kress-Gazit H. Guaranteeing high-level behaviors while exploring partially known maps Robotics: Science and Systems. 8: 377-384.  1
2012 Maly MR, Lahijanian M, Kavraki LE, Kress-Gazit H, Vardi MY. Iterative temporal motion planning for hybrid systems in partially unknown environments Hscc 2013 - Proceedings of the 16th International Conference On Hybrid Systems: Computation and Control, Part of Cpsweek 2013. 1: 353-362. DOI: 10.1145/2461328.2461380  1
2012 Raman V, Xu B, Kress-Gazit H. Avoiding forgetfulness: Structured English specifications for high-level robot control with implicit memory Ieee International Conference On Intelligent Robots and Systems. 1233-1238. DOI: 10.1109/IROS.2012.6386028  1
2012 Raman V, Finucane C, Kress-Gazit H. Temporal logic robot mission planning for slow and fast actions Ieee International Conference On Intelligent Robots and Systems. 251-256. DOI: 10.1109/IROS.2012.6385935  1
2012 Jing G, Finucane C, Raman V, Kress-Gazit H. Correct high-level robot control from structured English Proceedings - Ieee International Conference On Robotics and Automation. 3543-3544. DOI: 10.1109/ICRA.2012.6225161  1
2012 Johnson B, Havlak F, Campbell M, Kress-Gazit H. Execution and analysis of high-level tasks with dynamic obstacle anticipation Proceedings - Ieee International Conference On Robotics and Automation. 330-337. DOI: 10.1109/ICRA.2012.6224980  1
2012 Raman V, Kress-Gazit H. Automated feedback for unachievable high-level robot behaviors Proceedings - Ieee International Conference On Robotics and Automation. 5156-5162. DOI: 10.1109/ICRA.2012.6224807  1
2012 Johnson B, Kress-Gazit H. Probabilistic guarantees for high-level robot behavior in the presence of sensor error Autonomous Robots. 33: 309-321. DOI: 10.1007/s10514-012-9301-4  1
2012 Brooks DJ, Lignos C, Finucane C, Medvedev MS, Perera I, Raman V, Kress-Gazit H, Marcus M, Yanco HA. Make it so: Continuous, flexible natural language interaction with an autonomous robot Aaai Workshop - Technical Report. 2-8.  1
2012 Johnson B, Kress-Gazit H. Probabilistic analysis of correctness of high-level robot behavior with sensor error Robotics: Science and Systems. 7: 137-144.  1
2011 Kress-Gazit H, Wongpiromsarn T, Topcu U. Correct, reactive, high-level robot control Ieee Robotics and Automation Magazine. 18: 65-74. DOI: 10.1109/MRA.2011.942116  1
2011 Castro S, Koehler S, Kress-Gazit H. High-level control of modular robots Ieee International Conference On Intelligent Robots and Systems. 3120-3125. DOI: 10.1109/IROS.2011.6048596  1
2011 Raman V, Kress-Gazit H. Analyzing unsynthesizable specifications for high-level robot behavior using LTLMoP Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6806: 663-668. DOI: 10.1007/978-3-642-22110-1_54  1
2011 Finucane C, Jing G, Kress-Gazit H. Designing reactive robot controllers with LTLMoP Aaai Workshop - Technical Report. 70-71.  1
2010 Lee D, McClelland M, Schneider J, Yang TL, Gallagher D, Wang J, Shah D, Ahmed N, Moran P, Jones B, Leung TS, Nathan A, Kress-Gazit H, Campbell M. Distributed, collaborative human-robotic networks for outdoor experiments in search, identify and track Proceedings of Spie - the International Society For Optical Engineering. 7833. DOI: 10.1117/12.868572  1
2010 Kress-Gazit H, Pappas GJ. Automatic synthesis of robot controllers for tasks with locative prepositions Proceedings - Ieee International Conference On Robotics and Automation. 3215-3220. DOI: 10.1109/ROBOT.2010.5509402  1
2010 Finucane C, Jing G, Kress-Gazit H. LTLMoP: Experimenting with language, temporal logic and robot control Ieee/Rsj 2010 International Conference On Intelligent Robots and Systems, Iros 2010 - Conference Proceedings. 1988-1993. DOI: 10.1109/IROS.2010.5650371  1
2010 Allbeck JM, Kress-Gazit H. Constraints-based complex behavior in rich environments Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6356: 1-14. DOI: 10.1007/978-3-642-15892-6_1  1
2009 Kress-Gazit H, Fainekos GE, Pappas GJ. Temporal-logic-based reactive mission and motion planning Ieee Transactions On Robotics. 25: 1370-1381. DOI: 10.1109/TRO.2009.2030225  1
2009 Fainekos GE, Girard A, Kress-Gazit H, Pappas GJ. Temporal logic motion planning for dynamic robots Automatica. 45: 343-352. DOI: 10.1016/j.automatica.2008.08.008  1
2008 Kress-Gazit H, Fainekos GE, Pappas GJ. Translating structured english to robot controllers Advanced Robotics. 22: 1343-1359. DOI: 10.1163/156855308X344864  1
2007 Kress-Gazit H, Fainekos GE, Pappas GJ. Where's Waldo? Sensor-based temporal logic motion planning Proceedings - Ieee International Conference On Robotics and Automation. 3116-3121. DOI: 10.1109/ROBOT.2007.363946  1
2007 Conner DC, Kress-Gazit H, Choset H, Rizzi AA, Pappas GJ. Valet parking without a valet Ieee International Conference On Intelligent Robots and Systems. 572-577. DOI: 10.1109/IROS.2007.4399374  1
2007 Kress-Gazit H, Fainekos GE, Pappas GJ. From structured english to robot motion Ieee International Conference On Intelligent Robots and Systems. 2717-2722. DOI: 10.1109/IROS.2007.4398998  1
2005 Fainekos GE, Kress-Gazit H, Pappas GJ. Temporal logic motion planning for mobile robots Proceedings - Ieee International Conference On Robotics and Automation. 2005: 2020-2025. DOI: 10.1109/ROBOT.2005.1570410  1
2005 Fainekos GE, Kress-Gazit H, Pappas GJ. Hybrid controllers for path planning: A temporal logic approach Proceedings of the 44th Ieee Conference On Decision and Control, and the European Control Conference, Cdc-Ecc '05. 2005: 4885-4890. DOI: 10.1109/CDC.2005.1582935  1
Show low-probability matches.