| 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. |