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 |
|
Show low-probability matches. |