☰

Hadas Kress-Gazit, Ph.D. - Publications

Affiliations: 
2008 University of Pennsylvania, Philadelphia, PA, United States 
Area:
Information and Decision Systems
Tree Info Similar researchers PubMed Report error

55/57 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
2020 Howard T, Prorok A, Kress-Gazit H. Guest Editorial: Robotics: Science and Systems 2018 (RSS 2018) Autonomous Robots. 44: 1287-1288. DOI: 10.1007/S10514-020-09939-4  0.609
2020 Moarref S, Kress-Gazit H. Automated synthesis of decentralized controllers for robot swarms from high-level temporal logic specifications Autonomous Robots. 44: 585-600. DOI: 10.1007/S10514-019-09861-4  0.716
2019 Clement L, Peretroukhin V, Giamou M, Leonard J, Kress-Gazit H, How J, Milford M, Brock O, Gariepy R, Roy N, Siegel H, Righetti L, Billard A, Kelly J. Where Do We Go From Here? Debates on the Future of Robotics Research at ICRA 2019 [From the Field] Ieee Robotics & Automation Magazine. 26: 7-10. DOI: 10.1109/Mra.2019.2926934  0.638
2018 Daudelin J, Jing G, Tosun T, Yim M, Kress-Gazit H, Campbell M. An integrated system for perception-driven autonomy with modular robots. Science Robotics. 3. PMID 33141737 DOI: 10.1126/Scirobotics.Aat4983  0.709
2018 Wong KW, Ehlers R, Kress-Gazit H. Resilient, Provably-Correct, and High-Level Robot Behaviors Ieee Transactions On Robotics. 34: 936-952. DOI: 10.1109/Tro.2018.2830353  0.733
2018 Jing G, Tosun T, Yim M, Kress-Gazit H. Accomplishing high-level tasks with modular robots Autonomous Robots. 42: 1337-1354. DOI: 10.1007/S10514-018-9738-1  0.688
2018 Alonso-Mora J, DeCastro JA, Raman V, Rus D, Kress-Gazit H. Reactive mission and motion planning with deadlock resolution avoiding dynamic obstacles Autonomous Robots. 42: 801-824. DOI: 10.1007/S10514-017-9665-6  0.755
2017 Decastro J, Ehlers R, Rungger M, Balkan A, Kress-Gazit H. Automated generation of dynamics-based runtime certificates for high-level control Discrete Event Dynamic Systems. 27: 371-405. DOI: 10.1007/S10626-016-0232-7  0.556
2017 Johnson B, Havlak F, Kress-Gazit H, Campbell ME. Experimental Evaluation and Formal Analysis of High‐Level Tasks with Dynamic Obstacle Anticipation on a Full‐Sized Autonomous Vehicle Journal of Field Robotics. 34: 897-911. DOI: 10.1002/Rob.21695  0.445
2017 Romay A, Kohlbrecher S, Stumpf A, vonźStryk O, Maniatopoulos S, Kress-Gazit H, Schillinger P, Conner DC. Collaborative Autonomy between High-level Behaviors and Human Operators for Remote Manipulation Tasks using Different Humanoid Robots Journal of Field Robotics. 34: 333-358. DOI: 10.1002/Rob.21671  0.66
2016 Lahijanian M, Maly MR, Fried D, Kavraki LE, Kress-Gazit H, Vardi MY. Iterative Temporal Planning in Uncertain Environments With Partial Satisfaction Guarantees Ieee Transactions On Robotics. 32: 583-599. DOI: 10.1109/Tro.2016.2544339  0.621
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  0.726
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  0.652
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  0.676
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  0.485
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  0.659
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  0.633
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  0.704
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  0.615
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  0.372
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  0.703
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  0.628
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  0.695
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  0.522
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  0.657
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  0.688
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  0.659
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  0.607
2013 Sarid S, Xu B, Kress-Gazit H. Guaranteeing high-level behaviors while exploring partially known maps Robotics: Science and Systems. 8: 377-384.  0.635
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  0.667
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  0.384
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  0.705
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  0.709
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  0.483
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  0.668
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  0.618
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.  0.587
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.  0.585
2011 Kress-Gazit H. Robot Challenges: Toward Development of Verication and Synthesis Techniques [Errata] Ieee Robotics & Automation Magazine. 18: 108-109. DOI: 10.1109/Mra.2011.943479  0.671
2011 Kress-Gazit H. Robot challenges: Toward development of verification and synthesis techniques [from the Guest Editors] Ieee Robotics & Automation Magazine. 18: 22-23. DOI: 10.1109/Mra.2011.942486  0.692
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  0.671
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  0.703
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  0.614
2011 Finucane C, Jing G, Kress-Gazit H. Designing reactive robot controllers with LTLMoP Aaai Workshop - Technical Report. 70-71.  0.539
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  0.618
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  0.592
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  0.736
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  0.339
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  0.785
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  0.749
2008 Kress-Gazit H, Fainekos GE, Pappas GJ. Translating structured english to robot controllers Advanced Robotics. 22: 1343-1359. DOI: 10.1163/156855308X344864  0.769
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  0.798
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  0.785
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  0.79
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  0.807
Low-probability matches (unlikely to be authored by this person)
2019 Kress-Gazit H, Torfah H. The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems Arxiv: Logic in Computer Science. 286: 50-64. DOI: 10.4204/Eptcs.286.5  0.287
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  0.032
Hide low-probability matches.