var bibbase_data = {"data":"\"Loading..\"\n\n
\n\n \n\n \n\n \n \n\n \n\n \n \n\n \n\n \n
\n generated by\n \n \"bibbase.org\"\n\n \n
\n \n\n
\n\n \n\n\n
\n\n Excellent! Next you can\n create a new website with this list, or\n embed it in an existing web page by copying & pasting\n any of the following snippets.\n\n
\n JavaScript\n (easiest)\n
\n \n <script src=\"https://bibbase.org/show?bib=https://dblp.org/pid/36/4385.bib&jsonp=1&jsonp=1\"></script>\n \n
\n\n PHP\n
\n \n <?php\n $contents = file_get_contents(\"https://bibbase.org/show?bib=https://dblp.org/pid/36/4385.bib&jsonp=1\");\n print_r($contents);\n ?>\n \n
\n\n iFrame\n (not recommended)\n
\n \n <iframe src=\"https://bibbase.org/show?bib=https://dblp.org/pid/36/4385.bib&jsonp=1\"></iframe>\n \n
\n\n

\n For more details see the documention.\n

\n
\n
\n\n
\n\n This is a preview! To use this list on your own web site\n or create a new web site from it,\n create a free account. The file will be added\n and you will be able to edit it in the File Manager.\n We will show you instructions once you've created your account.\n
\n\n
\n\n

To the site owner:

\n\n

Action required! Mendeley is changing its\n API. In order to keep using Mendeley with BibBase past April\n 14th, you need to:\n

    \n
  1. renew the authorization for BibBase on Mendeley, and
    2. \n
  2. update the BibBase URL\n in your page the same way you did when you initially set up\n this page.\n
    3. \n
\n

\n\n

\n \n \n Fix it now\n

\n
\n\n
\n\n\n
\n \n \n
\n
\n  \n 2024\n \n \n (2)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Guaranteed Encapsulation of Targets With Unknown Motion by a Minimalist Robotic Swarm.\n \n \n \n \n\n\n \n Sinhmar, H.; and Kress-Gazit, H.\n\n\n \n\n\n\n IEEE Trans. Robotics, 40: 816–830. 2024.\n \n\n\n\n
\n\n\n\n \n \n \"GuaranteedPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/trob/SinhmarK24,\n  author       = {Himani Sinhmar and\n                  Hadas Kress{-}Gazit},\n  title        = {Guaranteed Encapsulation of Targets With Unknown Motion by a Minimalist\n                  Robotic Swarm},\n  journal      = {{IEEE} Trans. Robotics},\n  volume       = {40},\n  pages        = {816--830},\n  year         = {2024},\n  url          = {https://doi.org/10.1109/TRO.2023.3339536},\n  doi          = {10.1109/TRO.2023.3339536},\n  timestamp    = {Sat, 13 Jan 2024 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/trob/SinhmarK24.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n High-Level, Collaborative Task Planning Grammar and Execution for Heterogeneous Agents.\n \n \n \n \n\n\n \n Fang, A.; and Kress-Gazit, H.\n\n\n \n\n\n\n CoRR, abs/2402.00296. 2024.\n \n\n\n\n
\n\n\n\n \n \n \"High-Level,Paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/corr/abs-2402-00296,\n  author       = {Amy Fang and\n                  Hadas Kress{-}Gazit},\n  title        = {High-Level, Collaborative Task Planning Grammar and Execution for\n                  Heterogeneous Agents},\n  journal      = {CoRR},\n  volume       = {abs/2402.00296},\n  year         = {2024},\n  url          = {https://doi.org/10.48550/arXiv.2402.00296},\n  doi          = {10.48550/ARXIV.2402.00296},\n  eprinttype    = {arXiv},\n  eprint       = {2402.00296},\n  timestamp    = {Fri, 09 Feb 2024 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-2402-00296.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2023\n \n \n (9)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Automatic encoding and repair of reactive high-level tasks with learned abstract representations.\n \n \n \n \n\n\n \n Pacheck, A.; James, S. D.; Konidaris, G. D.; and Kress-Gazit, H.\n\n\n \n\n\n\n Int. J. Robotics Res., 42(4-5): 263–288. 2023.\n \n\n\n\n
\n\n\n\n \n \n \"AutomaticPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/ijrr/PacheckJKK23,\n  author       = {Adam Pacheck and\n                  Steven D. James and\n                  George Dimitri Konidaris and\n                  Hadas Kress{-}Gazit},\n  title        = {Automatic encoding and repair of reactive high-level tasks with learned\n                  abstract representations},\n  journal      = {Int. J. Robotics Res.},\n  volume       = {42},\n  number       = {4-5},\n  pages        = {263--288},\n  year         = {2023},\n  url          = {https://doi.org/10.1177/02783649231167207},\n  doi          = {10.1177/02783649231167207},\n  timestamp    = {Sat, 05 Aug 2023 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/ijrr/PacheckJKK23.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Counterexample-Guided Repair for Symbolic-Geometric Action Abstractions.\n \n \n \n \n\n\n \n Thomason, W.; and Kress-Gazit, H.\n\n\n \n\n\n\n IEEE Trans. Robotics, 39(5): 4152–4165. 2023.\n \n\n\n\n
\n\n\n\n \n \n \"Counterexample-GuidedPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/trob/ThomasonK23,\n  author       = {Wil Thomason and\n                  Hadas Kress{-}Gazit},\n  title        = {Counterexample-Guided Repair for Symbolic-Geometric Action Abstractions},\n  journal      = {{IEEE} Trans. Robotics},\n  volume       = {39},\n  number       = {5},\n  pages        = {4152--4165},\n  year         = {2023},\n  url          = {https://doi.org/10.1109/TRO.2023.3294918},\n  doi          = {10.1109/TRO.2023.3294918},\n  timestamp    = {Sat, 14 Oct 2023 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/trob/ThomasonK23.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Physically Feasible Repair of Reactive, Linear Temporal Logic-Based, High-Level Tasks.\n \n \n \n \n\n\n \n Pacheck, A.; and Kress-Gazit, H.\n\n\n \n\n\n\n IEEE Trans. Robotics, 39(6): 4653–4670. 2023.\n \n\n\n\n
\n\n\n\n \n \n \"PhysicallyPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/trob/PacheckK23,\n  author       = {Adam Pacheck and\n                  Hadas Kress{-}Gazit},\n  title        = {Physically Feasible Repair of Reactive, Linear Temporal Logic-Based,\n                  High-Level Tasks},\n  journal      = {{IEEE} Trans. Robotics},\n  volume       = {39},\n  number       = {6},\n  pages        = {4653--4670},\n  year         = {2023},\n  url          = {https://doi.org/10.1109/TRO.2023.3304009},\n  doi          = {10.1109/TRO.2023.3304009},\n  timestamp    = {Sat, 13 Jan 2024 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/trob/PacheckK23.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Nudging or Waiting?: Automatically Synthesized Robot Strategies for Evacuating Noncompliant Users in an Emergency Situation.\n \n \n \n \n\n\n \n Hu, Y.; Ryu, J.; Gundana, D.; Petersen, K. H.; Kress-Gazit, H.; and Hoffman, G.\n\n\n \n\n\n\n In Castellano, G.; Riek, L. D.; Cakmak, M.; and Leite, I., editor(s), Proceedings of the 2023 ACM/IEEE International Conference on Human-Robot Interaction, HRI 2023, Stockholm, Sweden, March 13-16, 2023, pages 603–611, 2023. ACM\n \n\n\n\n
\n\n\n\n \n \n \"NudgingPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/hri/HuRGPKH23,\n  author       = {Yuhan Hu and\n                  Jin Ryu and\n                  David Gundana and\n                  Kirstin H. Petersen and\n                  Hadas Kress{-}Gazit and\n                  Guy Hoffman},\n  editor       = {Ginevra Castellano and\n                  Laurel D. Riek and\n                  Maya Cakmak and\n                  Iolanda Leite},\n  title        = {Nudging or Waiting?: Automatically Synthesized Robot Strategies for\n                  Evacuating Noncompliant Users in an Emergency Situation},\n  booktitle    = {Proceedings of the 2023 {ACM/IEEE} International Conference on Human-Robot\n                  Interaction, {HRI} 2023, Stockholm, Sweden, March 13-16, 2023},\n  pages        = {603--611},\n  publisher    = {{ACM}},\n  year         = {2023},\n  url          = {https://doi.org/10.1145/3568162.3576955},\n  doi          = {10.1145/3568162.3576955},\n  timestamp    = {Tue, 28 Mar 2023 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/hri/HuRGPKH23.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Lessons From a Robot Asking for Directions In-the-wild.\n \n \n \n \n\n\n \n Liang, C.; Ricci, A. E.; Kress-Gazit, H.; and Jung, M. F.\n\n\n \n\n\n\n In Castellano, G.; Riek, L. D.; Cakmak, M.; and Leite, I., editor(s), Companion of the 2023 ACM/IEEE International Conference on Human-Robot Interaction, HRI 2023, Stockholm, Sweden, March 13-16, 2023, pages 617–620, 2023. ACM\n \n\n\n\n
\n\n\n\n \n \n \"LessonsPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/hri/LiangRKJ23,\n  author       = {Claire Liang and\n                  Andy Elliot Ricci and\n                  Hadas Kress{-}Gazit and\n                  Malte F. Jung},\n  editor       = {Ginevra Castellano and\n                  Laurel D. Riek and\n                  Maya Cakmak and\n                  Iolanda Leite},\n  title        = {Lessons From a Robot Asking for Directions In-the-wild},\n  booktitle    = {Companion of the 2023 {ACM/IEEE} International Conference on Human-Robot\n                  Interaction, {HRI} 2023, Stockholm, Sweden, March 13-16, 2023},\n  pages        = {617--620},\n  publisher    = {{ACM}},\n  year         = {2023},\n  url          = {https://doi.org/10.1145/3568294.3580159},\n  doi          = {10.1145/3568294.3580159},\n  timestamp    = {Tue, 28 Mar 2023 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/hri/LiangRKJ23.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Probabilistic Rare-Event Verification for Temporal Logic Robot Tasks.\n \n \n \n \n\n\n \n Scher, G.; Sadraddini, S.; and Kress-Gazit, H.\n\n\n \n\n\n\n In IEEE International Conference on Robotics and Automation, ICRA 2023, London, UK, May 29 - June 2, 2023, pages 12409–12415, 2023. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"ProbabilisticPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/icra/ScherSK23,\n  author       = {Guy Scher and\n                  Sadra Sadraddini and\n                  Hadas Kress{-}Gazit},\n  title        = {Probabilistic Rare-Event Verification for Temporal Logic Robot Tasks},\n  booktitle    = {{IEEE} International Conference on Robotics and Automation, {ICRA}\n                  2023, London, UK, May 29 - June 2, 2023},\n  pages        = {12409--12415},\n  publisher    = {{IEEE}},\n  year         = {2023},\n  url          = {https://doi.org/10.1109/ICRA48891.2023.10161083},\n  doi          = {10.1109/ICRA48891.2023.10161083},\n  timestamp    = {Tue, 08 Aug 2023 10:24:29 +0200},\n  biburl       = {https://dblp.org/rec/conf/icra/ScherSK23.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Guaranteed Encapsulation of Targets with Unknown Motion by a Minimalist Robotic Swarm.\n \n \n \n \n\n\n \n Sinhmar, H.; and Kress-Gazit, H.\n\n\n \n\n\n\n CoRR, abs/2301.05415. 2023.\n \n\n\n\n
\n\n\n\n \n \n \"GuaranteedPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/corr/abs-2301-05415,\n  author       = {Himani Sinhmar and\n                  Hadas Kress{-}Gazit},\n  title        = {Guaranteed Encapsulation of Targets with Unknown Motion by a Minimalist\n                  Robotic Swarm},\n  journal      = {CoRR},\n  volume       = {abs/2301.05415},\n  year         = {2023},\n  url          = {https://doi.org/10.48550/arXiv.2301.05415},\n  doi          = {10.48550/ARXIV.2301.05415},\n  eprinttype    = {arXiv},\n  eprint       = {2301.05415},\n  timestamp    = {Thu, 19 Jan 2023 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-2301-05415.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Online Modifications for Event-based Signal Temporal Logic Specifications.\n \n \n \n \n\n\n \n Gundana, D.; and Kress-Gazit, H.\n\n\n \n\n\n\n CoRR, abs/2303.18160. 2023.\n \n\n\n\n
\n\n\n\n \n \n \"OnlinePaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/corr/abs-2303-18160,\n  author       = {David Gundana and\n                  Hadas Kress{-}Gazit},\n  title        = {Online Modifications for Event-based Signal Temporal Logic Specifications},\n  journal      = {CoRR},\n  volume       = {abs/2303.18160},\n  year         = {2023},\n  url          = {https://doi.org/10.48550/arXiv.2303.18160},\n  doi          = {10.48550/ARXIV.2303.18160},\n  eprinttype    = {arXiv},\n  eprint       = {2303.18160},\n  timestamp    = {Mon, 17 Apr 2023 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-2303-18160.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Ensuring Reliable Robot Task Performance through Probabilistic Rare-Event Verification and Synthesis.\n \n \n \n \n\n\n \n Scher, G.; Sadraddini, S.; Yadin, A.; and Kress-Gazit, H.\n\n\n \n\n\n\n CoRR, abs/2304.14886. 2023.\n \n\n\n\n
\n\n\n\n \n \n \"EnsuringPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/corr/abs-2304-14886,\n  author       = {Guy Scher and\n                  Sadra Sadraddini and\n                  Ariel Yadin and\n                  Hadas Kress{-}Gazit},\n  title        = {Ensuring Reliable Robot Task Performance through Probabilistic Rare-Event\n                  Verification and Synthesis},\n  journal      = {CoRR},\n  volume       = {abs/2304.14886},\n  year         = {2023},\n  url          = {https://doi.org/10.48550/arXiv.2304.14886},\n  doi          = {10.48550/ARXIV.2304.14886},\n  eprinttype    = {arXiv},\n  eprint       = {2304.14886},\n  timestamp    = {Thu, 04 May 2023 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-2304-14886.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2022\n \n \n (11)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Event-Based Signal Temporal Logic Tasks: Execution and Feedback in Complex Environments.\n \n \n \n \n\n\n \n Gundana, D.; and Kress-Gazit, H.\n\n\n \n\n\n\n IEEE Robotics Autom. Lett., 7(4): 10001–10008. 2022.\n \n\n\n\n
\n\n\n\n \n \n \"Event-BasedPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/ral/GundanaK22,\n  author       = {David Gundana and\n                  Hadas Kress{-}Gazit},\n  title        = {Event-Based Signal Temporal Logic Tasks: Execution and Feedback in\n                  Complex Environments},\n  journal      = {{IEEE} Robotics Autom. Lett.},\n  volume       = {7},\n  number       = {4},\n  pages        = {10001--10008},\n  year         = {2022},\n  url          = {https://doi.org/10.1109/LRA.2022.3192625},\n  doi          = {10.1109/LRA.2022.3192625},\n  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/ral/GundanaK22.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications.\n \n \n \n \n\n\n \n Scher, G.; Sadraddini, S.; Tedrake, R.; and Kress-Gazit, H.\n\n\n \n\n\n\n In Bartocci, E.; and Putot, S., editor(s), HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022, pages 11:1–11:11, 2022. ACM\n \n\n\n\n
\n\n\n\n \n \n \"EllipticalPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/hybrid/ScherSTK22,\n  author       = {Guy Scher and\n                  Sadra Sadraddini and\n                  Russ Tedrake and\n                  Hadas Kress{-}Gazit},\n  editor       = {Ezio Bartocci and\n                  Sylvie Putot},\n  title        = {Elliptical Slice Sampling for Probabilistic Verification of Stochastic\n                  Systems with Signal Temporal Logic Specifications},\n  booktitle    = {{HSCC} '22: 25th {ACM} International Conference on Hybrid Systems:\n                  Computation and Control, Milan, Italy, May 4 - 6, 2022},\n  pages        = {11:1--11:11},\n  publisher    = {{ACM}},\n  year         = {2022},\n  url          = {https://doi.org/10.1145/3501710.3519506},\n  doi          = {10.1145/3501710.3519506},\n  timestamp    = {Thu, 07 Jul 2022 07:10:17 +0200},\n  biburl       = {https://dblp.org/rec/conf/hybrid/ScherSTK22.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Automated Task Updates of Temporal Logic Specifications for Heterogeneous Robots.\n \n \n \n \n\n\n \n Fang, A.; and Kress-Gazit, H.\n\n\n \n\n\n\n In 2022 International Conference on Robotics and Automation, ICRA 2022, Philadelphia, PA, USA, May 23-27, 2022, pages 4363–4369, 2022. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"AutomatedPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/icra/FangK22,\n  author       = {Amy Fang and\n                  Hadas Kress{-}Gazit},\n  title        = {Automated Task Updates of Temporal Logic Specifications for Heterogeneous\n                  Robots},\n  booktitle    = {2022 International Conference on Robotics and Automation, {ICRA} 2022,\n                  Philadelphia, PA, USA, May 23-27, 2022},\n  pages        = {4363--4369},\n  publisher    = {{IEEE}},\n  year         = {2022},\n  url          = {https://doi.org/10.1109/ICRA46639.2022.9812045},\n  doi          = {10.1109/ICRA46639.2022.9812045},\n  timestamp    = {Wed, 20 Jul 2022 18:22:23 +0200},\n  biburl       = {https://dblp.org/rec/conf/icra/FangK22.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Robustness-based Synthesis for Stochastic Systems under Signal Temporal Logic Tasks.\n \n \n \n \n\n\n \n Scher, G.; Sadraddini, S.; and Kress-Gazit, H.\n\n\n \n\n\n\n In IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2022, Kyoto, Japan, October 23-27, 2022, pages 1269–1275, 2022. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"Robustness-basedPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/iros/ScherSK22,\n  author       = {Guy Scher and\n                  Sadra Sadraddini and\n                  Hadas Kress{-}Gazit},\n  title        = {Robustness-based Synthesis for Stochastic Systems under Signal Temporal\n                  Logic Tasks},\n  booktitle    = {{IEEE/RSJ} International Conference on Intelligent Robots and Systems,\n                  {IROS} 2022, Kyoto, Japan, October 23-27, 2022},\n  pages        = {1269--1275},\n  publisher    = {{IEEE}},\n  year         = {2022},\n  url          = {https://doi.org/10.1109/IROS47612.2022.9982233},\n  doi          = {10.1109/IROS47612.2022.9982233},\n  timestamp    = {Tue, 03 Jan 2023 14:18:21 +0100},\n  biburl       = {https://dblp.org/rec/conf/iros/ScherSK22.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Decentralized Control of Minimalistic Robotic Swarms For Guaranteed Target Encapsulation.\n \n \n \n \n\n\n \n Sinhmar, H.; and Kress-Gazit, H.\n\n\n \n\n\n\n In IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2022, Kyoto, Japan, October 23-27, 2022, pages 7251–7258, 2022. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"DecentralizedPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/iros/SinhmarK22,\n  author       = {Himani Sinhmar and\n                  Hadas Kress{-}Gazit},\n  title        = {Decentralized Control of Minimalistic Robotic Swarms For Guaranteed\n                  Target Encapsulation},\n  booktitle    = {{IEEE/RSJ} International Conference on Intelligent Robots and Systems,\n                  {IROS} 2022, Kyoto, Japan, October 23-27, 2022},\n  pages        = {7251--7258},\n  publisher    = {{IEEE}},\n  year         = {2022},\n  url          = {https://doi.org/10.1109/IROS47612.2022.9981959},\n  doi          = {10.1109/IROS47612.2022.9981959},\n  timestamp    = {Tue, 03 Jan 2023 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/iros/SinhmarK22.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Timing-Specified Controllers with Feedback for Human-Robot Handovers.\n \n \n \n \n\n\n \n Kshirsagar, A.; Ravi, R. K.; Kress-Gazit, H.; and Hoffman, G.\n\n\n \n\n\n\n In 31st IEEE International Conference on Robot and Human Interactive Communication, RO-MAN 2022, Napoli, Italy, August 29 - Sept. 2, 2022, pages 1313–1320, 2022. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"Timing-SpecifiedPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/ro-man/KshirsagarRKH22,\n  author       = {Alap Kshirsagar and\n                  Rahul Kumar Ravi and\n                  Hadas Kress{-}Gazit and\n                  Guy Hoffman},\n  title        = {Timing-Specified Controllers with Feedback for Human-Robot Handovers},\n  booktitle    = {31st {IEEE} International Conference on Robot and Human Interactive\n                  Communication, {RO-MAN} 2022, Napoli, Italy, August 29 - Sept. 2,\n                  2022},\n  pages        = {1313--1320},\n  publisher    = {{IEEE}},\n  year         = {2022},\n  url          = {https://doi.org/10.1109/RO-MAN53752.2022.9900856},\n  doi          = {10.1109/RO-MAN53752.2022.9900856},\n  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/ro-man/KshirsagarRKH22.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications.\n \n \n \n \n\n\n \n Scher, G.; Sadraddini, S.; Tedrake, R.; and Kress-Gazit, H.\n\n\n \n\n\n\n CoRR, abs/2203.00078. 2022.\n \n\n\n\n
\n\n\n\n \n \n \"EllipticalPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/corr/abs-2203-00078,\n  author       = {Guy Scher and\n                  Sadra Sadraddini and\n                  Russ Tedrake and\n                  Hadas Kress{-}Gazit},\n  title        = {Elliptical Slice Sampling for Probabilistic Verification of Stochastic\n                  Systems with Signal Temporal Logic Specifications},\n  journal      = {CoRR},\n  volume       = {abs/2203.00078},\n  year         = {2022},\n  url          = {https://doi.org/10.48550/arXiv.2203.00078},\n  doi          = {10.48550/ARXIV.2203.00078},\n  eprinttype    = {arXiv},\n  eprint       = {2203.00078},\n  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-2203-00078.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Automated Task Updates of Temporal Logic Specifications for Heterogeneous Robots.\n \n \n \n \n\n\n \n Fang, A.; and Kress-Gazit, H.\n\n\n \n\n\n\n CoRR, abs/2204.05423. 2022.\n \n\n\n\n
\n\n\n\n \n \n \"AutomatedPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/corr/abs-2204-05423,\n  author       = {Amy Fang and\n                  Hadas Kress{-}Gazit},\n  title        = {Automated Task Updates of Temporal Logic Specifications for Heterogeneous\n                  Robots},\n  journal      = {CoRR},\n  volume       = {abs/2204.05423},\n  year         = {2022},\n  url          = {https://doi.org/10.48550/arXiv.2204.05423},\n  doi          = {10.48550/ARXIV.2204.05423},\n  eprinttype    = {arXiv},\n  eprint       = {2204.05423},\n  timestamp    = {Tue, 19 Apr 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-2204-05423.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Automatic Encoding and Repair of Reactive High-Level Tasks with Learned Abstract Representations.\n \n \n \n \n\n\n \n Pacheck, A.; James, S. D.; Konidaris, G.; and Kress-Gazit, H.\n\n\n \n\n\n\n CoRR, abs/2204.08327. 2022.\n \n\n\n\n
\n\n\n\n \n \n \"AutomaticPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/corr/abs-2204-08327,\n  author       = {Adam Pacheck and\n                  Steven D. James and\n                  George Konidaris and\n                  Hadas Kress{-}Gazit},\n  title        = {Automatic Encoding and Repair of Reactive High-Level Tasks with Learned\n                  Abstract Representations},\n  journal      = {CoRR},\n  volume       = {abs/2204.08327},\n  year         = {2022},\n  url          = {https://doi.org/10.48550/arXiv.2204.08327},\n  doi          = {10.48550/ARXIV.2204.08327},\n  eprinttype    = {arXiv},\n  eprint       = {2204.08327},\n  timestamp    = {Tue, 01 Aug 2023 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-2204-08327.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Physically-Feasible Repair of Reactive, Linear Temporal Logic-based, High-Level Tasks.\n \n \n \n \n\n\n \n Pacheck, A.; and Kress-Gazit, H.\n\n\n \n\n\n\n CoRR, abs/2207.02834. 2022.\n \n\n\n\n
\n\n\n\n \n \n \"Physically-FeasiblePaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/corr/abs-2207-02834,\n  author       = {Adam Pacheck and\n                  Hadas Kress{-}Gazit},\n  title        = {Physically-Feasible Repair of Reactive, Linear Temporal Logic-based,\n                  High-Level Tasks},\n  journal      = {CoRR},\n  volume       = {abs/2207.02834},\n  year         = {2022},\n  url          = {https://doi.org/10.48550/arXiv.2207.02834},\n  doi          = {10.48550/ARXIV.2207.02834},\n  eprinttype    = {arXiv},\n  eprint       = {2207.02834},\n  timestamp    = {Wed, 13 Jul 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-2207-02834.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Decentralized Control of Minimalistic Robotic Swarms For Guaranteed Target Encapsulation.\n \n \n \n \n\n\n \n Sinhmar, H.; and Kress-Gazit, H.\n\n\n \n\n\n\n CoRR, abs/2212.08984. 2022.\n \n\n\n\n
\n\n\n\n \n \n \"DecentralizedPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/corr/abs-2212-08984,\n  author       = {Himani Sinhmar and\n                  Hadas Kress{-}Gazit},\n  title        = {Decentralized Control of Minimalistic Robotic Swarms For Guaranteed\n                  Target Encapsulation},\n  journal      = {CoRR},\n  volume       = {abs/2212.08984},\n  year         = {2022},\n  url          = {https://doi.org/10.48550/arXiv.2212.08984},\n  doi          = {10.48550/ARXIV.2212.08984},\n  eprinttype    = {arXiv},\n  eprint       = {2212.08984},\n  timestamp    = {Mon, 02 Jan 2023 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-2212-08984.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2021\n \n \n (10)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Formalizing and guaranteeing human-robot interaction.\n \n \n \n \n\n\n \n Kress-Gazit, H.; Eder, K.; Hoffman, G.; Admoni, H.; Argall, B.; Ehlers, R.; Heckman, C.; Jansen, N.; Knepper, R. A.; Kretínský, J.; Levy-Tzedek, S.; Li, J.; Murphey, T. D.; Riek, L. D.; and Sadigh, D.\n\n\n \n\n\n\n Commun. ACM, 64(9): 78–84. 2021.\n \n\n\n\n
\n\n\n\n \n \n \"FormalizingPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/cacm/Kress-GazitEHAA21,\n  author       = {Hadas Kress{-}Gazit and\n                  Kerstin Eder and\n                  Guy Hoffman and\n                  Henny Admoni and\n                  Brenna Argall and\n                  R{\\"{u}}diger Ehlers and\n                  Christoffer Heckman and\n                  Nils Jansen and\n                  Ross A. Knepper and\n                  Jan Kret{\\'{\\i}}nsk{\\'{y}} and\n                  Shelly Levy{-}Tzedek and\n                  Jamy Li and\n                  Todd D. Murphey and\n                  Laurel D. Riek and\n                  Dorsa Sadigh},\n  title        = {Formalizing and guaranteeing human-robot interaction},\n  journal      = {Commun. {ACM}},\n  volume       = {64},\n  number       = {9},\n  pages        = {78--84},\n  year         = {2021},\n  url          = {https://doi.org/10.1145/3433637},\n  doi          = {10.1145/3433637},\n  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/cacm/Kress-GazitEHAA21.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Event-Based Signal Temporal Logic Synthesis for Single and Multi-Robot Tasks.\n \n \n \n \n\n\n \n Gundana, D.; and Kress-Gazit, H.\n\n\n \n\n\n\n IEEE Robotics Autom. Lett., 6(2): 3687–3694. 2021.\n \n\n\n\n
\n\n\n\n \n \n \"Event-BasedPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/ral/GundanaK21,\n  author       = {David Gundana and\n                  Hadas Kress{-}Gazit},\n  title        = {Event-Based Signal Temporal Logic Synthesis for Single and Multi-Robot\n                  Tasks},\n  journal      = {{IEEE} Robotics Autom. Lett.},\n  volume       = {6},\n  number       = {2},\n  pages        = {3687--3694},\n  year         = {2021},\n  url          = {https://doi.org/10.1109/LRA.2021.3064220},\n  doi          = {10.1109/LRA.2021.3064220},\n  timestamp    = {Wed, 07 Apr 2021 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/ral/GundanaK21.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Gender Diversity of Conference Leadership [Women in Engineering].\n \n \n \n \n\n\n \n Graesser, L.; Faust, A.; Kress-Gazit, H.; Tapia, L.; and Ulinski, R.\n\n\n \n\n\n\n IEEE Robotics Autom. Mag., 28(2): 126–130. 2021.\n \n\n\n\n
\n\n\n\n \n \n \"GenderPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/ram/GraesserFKTU21,\n  author       = {Laura Graesser and\n                  Aleksandra Faust and\n                  Hadas Kress{-}Gazit and\n                  Lydia Tapia and\n                  Risa Ulinski},\n  title        = {Gender Diversity of Conference Leadership [Women in Engineering]},\n  journal      = {{IEEE} Robotics Autom. Mag.},\n  volume       = {28},\n  number       = {2},\n  pages        = {126--130},\n  year         = {2021},\n  url          = {https://doi.org/10.1109/MRA.2021.3071897},\n  doi          = {10.1109/MRA.2021.3071897},\n  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/ram/GraesserFKTU21.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Distributed Control of Robotic Swarms from Reactive High-Level Specifications.\n \n \n \n \n\n\n \n Chen, J.; Sun, R.; and Kress-Gazit, H.\n\n\n \n\n\n\n In 17th IEEE International Conference on Automation Science and Engineering, CASE 2021, Lyon, France, August 23-27, 2021, pages 1247–1254, 2021. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"DistributedPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/case/ChenSK21,\n  author       = {Ji Chen and\n                  Ruojia Sun and\n                  Hadas Kress{-}Gazit},\n  title        = {Distributed Control of Robotic Swarms from Reactive High-Level Specifications},\n  booktitle    = {17th {IEEE} International Conference on Automation Science and Engineering,\n                  {CASE} 2021, Lyon, France, August 23-27, 2021},\n  pages        = {1247--1254},\n  publisher    = {{IEEE}},\n  year         = {2021},\n  url          = {https://doi.org/10.1109/CASE49439.2021.9551578},\n  doi          = {10.1109/CASE49439.2021.9551578},\n  timestamp    = {Fri, 08 Oct 2021 19:47:37 +0200},\n  biburl       = {https://dblp.org/rec/conf/case/ChenSK21.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Errors in Collective Robotic Construction.\n \n \n \n \n\n\n \n Chen, J.; Liu, Y.; Pacheck, A.; Kress-Gazit, H.; Napp, N.; and Petersen, K.\n\n\n \n\n\n\n In Matsuno, F.; Azuma, S.; and Yamamoto, M., editor(s), Distributed Autonomous Robotic Systems - 15th International Symposium, DARS 2021, June 1-4, 2021, Online Event, volume 22, of Springer Proceedings in Advanced Robotics, pages 269–281, 2021. Springer\n \n\n\n\n
\n\n\n\n \n \n \"ErrorsPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/dars/ChenLPKNP21,\n  author       = {Jiahe Chen and\n                  Yifang Liu and\n                  Adam Pacheck and\n                  Hadas Kress{-}Gazit and\n                  Nils Napp and\n                  Kirstin Petersen},\n  editor       = {Fumitoshi Matsuno and\n                  Shun{-}Ichi Azuma and\n                  Masahito Yamamoto},\n  title        = {Errors in Collective Robotic Construction},\n  booktitle    = {Distributed Autonomous Robotic Systems - 15th International Symposium,\n                  {DARS} 2021, June 1-4, 2021, Online Event},\n  series       = {Springer Proceedings in Advanced Robotics},\n  volume       = {22},\n  pages        = {269--281},\n  publisher    = {Springer},\n  year         = {2021},\n  url          = {https://doi.org/10.1007/978-3-030-92790-5\\_21},\n  doi          = {10.1007/978-3-030-92790-5\\_21},\n  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/dars/ChenLPKNP21.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Learning and Planning for Temporally Extended Tasks in Unknown Environments.\n \n \n \n \n\n\n \n Bradley, C.; Pacheck, A.; Stein, G. J.; Castro, S.; Kress-Gazit, H.; and Roy, N.\n\n\n \n\n\n\n In IEEE International Conference on Robotics and Automation, ICRA 2021, Xi'an, China, May 30 - June 5, 2021, pages 4830–4836, 2021. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"LearningPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/icra/BradleyPSCKR21,\n  author       = {Christopher Bradley and\n                  Adam Pacheck and\n                  Gregory J. Stein and\n                  Sebastian Castro and\n                  Hadas Kress{-}Gazit and\n                  Nicholas Roy},\n  title        = {Learning and Planning for Temporally Extended Tasks in Unknown Environments},\n  booktitle    = {{IEEE} International Conference on Robotics and Automation, {ICRA}\n                  2021, Xi'an, China, May 30 - June 5, 2021},\n  pages        = {4830--4836},\n  publisher    = {{IEEE}},\n  year         = {2021},\n  url          = {https://doi.org/10.1109/ICRA48506.2021.9561819},\n  doi          = {10.1109/ICRA48506.2021.9561819},\n  timestamp    = {Fri, 22 Oct 2021 19:54:31 +0200},\n  biburl       = {https://dblp.org/rec/conf/icra/BradleyPSCKR21.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Homotopy-Driven Exploration of Human-made Spaces Using Signs.\n \n \n \n \n\n\n \n Liang, C.; and Kress-Gazit, H.\n\n\n \n\n\n\n In IEEE International Conference on Robotics and Automation, ICRA 2021, Xi'an, China, May 30 - June 5, 2021, pages 12715–12721, 2021. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"Homotopy-DrivenPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/icra/LiangK21a,\n  author       = {Claire Liang and\n                  Hadas Kress{-}Gazit},\n  title        = {Homotopy-Driven Exploration of Human-made Spaces Using Signs},\n  booktitle    = {{IEEE} International Conference on Robotics and Automation, {ICRA}\n                  2021, Xi'an, China, May 30 - June 5, 2021},\n  pages        = {12715--12721},\n  publisher    = {{IEEE}},\n  year         = {2021},\n  url          = {https://doi.org/10.1109/ICRA48506.2021.9561862},\n  doi          = {10.1109/ICRA48506.2021.9561862},\n  timestamp    = {Mon, 25 Oct 2021 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/icra/LiangK21a.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Learning and Planning for Temporally Extended Tasks in Unknown Environments.\n \n \n \n \n\n\n \n Bradley, C.; Pacheck, A.; Stein, G. J.; Castro, S.; Kress-Gazit, H.; and Roy, N.\n\n\n \n\n\n\n CoRR, abs/2104.10636. 2021.\n \n\n\n\n
\n\n\n\n \n \n \"LearningPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/corr/abs-2104-10636,\n  author       = {Christopher Bradley and\n                  Adam Pacheck and\n                  Gregory J. Stein and\n                  Sebastian Castro and\n                  Hadas Kress{-}Gazit and\n                  Nicholas Roy},\n  title        = {Learning and Planning for Temporally Extended Tasks in Unknown Environments},\n  journal      = {CoRR},\n  volume       = {abs/2104.10636},\n  year         = {2021},\n  url          = {https://arxiv.org/abs/2104.10636},\n  eprinttype    = {arXiv},\n  eprint       = {2104.10636},\n  timestamp    = {Mon, 26 Apr 2021 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-2104-10636.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Counterexample-Guided Repair for Symbolic-Geometric Action Abstractions.\n \n \n \n \n\n\n \n Thomason, W.; and Kress-Gazit, H.\n\n\n \n\n\n\n CoRR, abs/2105.06537. 2021.\n \n\n\n\n
\n\n\n\n \n \n \"Counterexample-GuidedPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/corr/abs-2105-06537,\n  author       = {Wil Thomason and\n                  Hadas Kress{-}Gazit},\n  title        = {Counterexample-Guided Repair for Symbolic-Geometric Action Abstractions},\n  journal      = {CoRR},\n  volume       = {abs/2105.06537},\n  year         = {2021},\n  url          = {https://arxiv.org/abs/2105.06537},\n  eprinttype    = {arXiv},\n  eprint       = {2105.06537},\n  timestamp    = {Tue, 18 May 2021 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-2105-06537.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Synthesizing Modular Manipulators For Tasks With Time, Obstacle, And Torque Constraints.\n \n \n \n \n\n\n \n Campos, T.; and Kress-Gazit, H.\n\n\n \n\n\n\n CoRR, abs/2106.09487. 2021.\n \n\n\n\n
\n\n\n\n \n \n \"SynthesizingPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/corr/abs-2106-09487,\n  author       = {Thais Campos and\n                  Hadas Kress{-}Gazit},\n  title        = {Synthesizing Modular Manipulators For Tasks With Time, Obstacle, And\n                  Torque Constraints},\n  journal      = {CoRR},\n  volume       = {abs/2106.09487},\n  year         = {2021},\n  url          = {https://arxiv.org/abs/2106.09487},\n  eprinttype    = {arXiv},\n  eprint       = {2106.09487},\n  timestamp    = {Tue, 29 Jun 2021 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-2106-09487.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2020\n \n \n (10)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Robots That Use Language.\n \n \n \n \n\n\n \n Tellex, S.; Gopalan, N.; Kress-Gazit, H.; and Matuszek, C.\n\n\n \n\n\n\n Annu. Rev. Control. Robotics Auton. Syst., 3: 25–55. 2020.\n \n\n\n\n
\n\n\n\n \n \n \"RobotsPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/arcras/TellexGKM20,\n  author       = {Stefanie Tellex and\n                  Nakul Gopalan and\n                  Hadas Kress{-}Gazit and\n                  Cynthia Matuszek},\n  title        = {Robots That Use Language},\n  journal      = {Annu. Rev. Control. Robotics Auton. Syst.},\n  volume       = {3},\n  pages        = {25--55},\n  year         = {2020},\n  url          = {https://doi.org/10.1146/annurev-control-101119-071628},\n  doi          = {10.1146/ANNUREV-CONTROL-101119-071628},\n  timestamp    = {Wed, 05 Apr 2023 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/arcras/TellexGKM20.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Automated synthesis of decentralized controllers for robot swarms from high-level temporal logic specifications.\n \n \n \n \n\n\n \n Moarref, S.; and Kress-Gazit, H.\n\n\n \n\n\n\n Auton. Robots, 44(3-4): 585–600. 2020.\n \n\n\n\n
\n\n\n\n \n \n \"AutomatedPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/arobots/MoarrefK20,\n  author       = {Salar Moarref and\n                  Hadas Kress{-}Gazit},\n  title        = {Automated synthesis of decentralized controllers for robot swarms\n                  from high-level temporal logic specifications},\n  journal      = {Auton. Robots},\n  volume       = {44},\n  number       = {3-4},\n  pages        = {585--600},\n  year         = {2020},\n  url          = {https://doi.org/10.1007/s10514-019-09861-4},\n  doi          = {10.1007/S10514-019-09861-4},\n  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/arobots/MoarrefK20.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Guest Editorial: Robotics: Science and Systems 2018 (RSS 2018).\n \n \n \n \n\n\n \n Howard, T. M.; Prorok, A.; and Kress-Gazit, H.\n\n\n \n\n\n\n Auton. Robots, 44(7): 1287–1288. 2020.\n \n\n\n\n
\n\n\n\n \n \n \"GuestPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/arobots/HowardPK20,\n  author       = {Thomas M. Howard and\n                  Amanda Prorok and\n                  Hadas Kress{-}Gazit},\n  title        = {Guest Editorial: Robotics: Science and Systems 2018 {(RSS} 2018)},\n  journal      = {Auton. Robots},\n  volume       = {44},\n  number       = {7},\n  pages        = {1287--1288},\n  year         = {2020},\n  url          = {https://doi.org/10.1007/s10514-020-09939-4},\n  doi          = {10.1007/S10514-020-09939-4},\n  timestamp    = {Tue, 15 Sep 2020 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/arobots/HowardPK20.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Warehouse Automation in a Day: From Model to Implementation with Provable Guarantees.\n \n \n \n \n\n\n \n Scher, G.; and Kress-Gazit, H.\n\n\n \n\n\n\n In 16th IEEE International Conference on Automation Science and Engineering, CASE 2020, Hong Kong, August 20-21, 2020, pages 280–287, 2020. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"WarehousePaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/case/ScherK20,\n  author       = {Guy Scher and\n                  Hadas Kress{-}Gazit},\n  title        = {Warehouse Automation in a Day: From Model to Implementation with Provable\n                  Guarantees},\n  booktitle    = {16th {IEEE} International Conference on Automation Science and Engineering,\n                  {CASE} 2020, Hong Kong, August 20-21, 2020},\n  pages        = {280--287},\n  publisher    = {{IEEE}},\n  year         = {2020},\n  url          = {https://doi.org/10.1109/CASE48305.2020.9217012},\n  doi          = {10.1109/CASE48305.2020.9217012},\n  timestamp    = {Wed, 14 Oct 2020 12:18:11 +0200},\n  biburl       = {https://dblp.org/rec/conf/case/ScherK20.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n JESSIE: Synthesizing Social Robot Behaviors for Personalized Neurorehabilitation and Beyond.\n \n \n \n \n\n\n \n Kubota, A.; Peterson, E. I. C.; Rajendren, V.; Kress-Gazit, H.; and Riek, L. D.\n\n\n \n\n\n\n In Belpaeme, T.; Young, J. E.; Gunes, H.; and Riek, L. D., editor(s), HRI '20: ACM/IEEE International Conference on Human-Robot Interaction, Cambridge, United Kingdom, March 23-26, 2020, pages 121–130, 2020. ACM\n \n\n\n\n
\n\n\n\n \n \n \"JESSIE:Paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/hri/KubotaPRKR20,\n  author       = {Alyssa Kubota and\n                  Emma I. C. Peterson and\n                  Vaishali Rajendren and\n                  Hadas Kress{-}Gazit and\n                  Laurel D. Riek},\n  editor       = {Tony Belpaeme and\n                  James E. Young and\n                  Hatice Gunes and\n                  Laurel D. Riek},\n  title        = {{JESSIE:} Synthesizing Social Robot Behaviors for Personalized Neurorehabilitation\n                  and Beyond},\n  booktitle    = {{HRI} '20: {ACM/IEEE} International Conference on Human-Robot Interaction,\n                  Cambridge, United Kingdom, March 23-26, 2020},\n  pages        = {121--130},\n  publisher    = {{ACM}},\n  year         = {2020},\n  url          = {https://doi.org/10.1145/3319502.3374836},\n  doi          = {10.1145/3319502.3374836},\n  timestamp    = {Mon, 18 Jul 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/hri/KubotaPRKR20.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Finding Missing Skills for High-Level Behaviors.\n \n \n \n \n\n\n \n Pacheck, A.; Moarref, S.; and Kress-Gazit, H.\n\n\n \n\n\n\n In 2020 IEEE International Conference on Robotics and Automation, ICRA 2020, Paris, France, May 31 - August 31, 2020, pages 10335–10341, 2020. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"FindingPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/icra/PacheckMK20,\n  author       = {Adam Pacheck and\n                  Salar Moarref and\n                  Hadas Kress{-}Gazit},\n  title        = {Finding Missing Skills for High-Level Behaviors},\n  booktitle    = {2020 {IEEE} International Conference on Robotics and Automation, {ICRA}\n                  2020, Paris, France, May 31 - August 31, 2020},\n  pages        = {10335--10341},\n  publisher    = {{IEEE}},\n  year         = {2020},\n  url          = {https://doi.org/10.1109/ICRA40945.2020.9197223},\n  doi          = {10.1109/ICRA40945.2020.9197223},\n  timestamp    = {Mon, 28 Sep 2020 12:19:08 +0200},\n  biburl       = {https://dblp.org/rec/conf/icra/PacheckMK20.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Automatic Control Synthesis for Swarm Robots from Formation and Location-based High-level Specifications.\n \n \n \n \n\n\n \n Chen, J.; Wang, H.; Rubenstein, M.; and Kress-Gazit, H.\n\n\n \n\n\n\n In IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2020, Las Vegas, NV, USA, October 24, 2020 - January 24, 2021, pages 8027–8034, 2020. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"AutomaticPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/iros/ChenWRK20,\n  author       = {Ji Chen and\n                  Hanlin Wang and\n                  Michael Rubenstein and\n                  Hadas Kress{-}Gazit},\n  title        = {Automatic Control Synthesis for Swarm Robots from Formation and Location-based\n                  High-level Specifications},\n  booktitle    = {{IEEE/RSJ} International Conference on Intelligent Robots and Systems,\n                  {IROS} 2020, Las Vegas, NV, USA, October 24, 2020 - January 24, 2021},\n  pages        = {8027--8034},\n  publisher    = {{IEEE}},\n  year         = {2020},\n  url          = {https://doi.org/10.1109/IROS45743.2020.9341466},\n  doi          = {10.1109/IROS45743.2020.9341466},\n  timestamp    = {Tue, 16 Feb 2021 19:07:08 +0100},\n  biburl       = {https://dblp.org/rec/conf/iros/ChenWRK20.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Automated Synthesis of Modular Manipulators' Structure and Control for Continuous Tasks around Obstacles.\n \n \n \n \n\n\n \n de Almeida, T. C.; Marri, S.; and Kress-Gazit, H.\n\n\n \n\n\n\n In Toussaint, M.; Bicchi, A.; and Hermans, T., editor(s), Robotics: Science and Systems XVI, Virtual Event / Corvalis, Oregon, USA, July 12-16, 2020, 2020. \n \n\n\n\n
\n\n\n\n \n \n \"AutomatedPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/rss/AlmeidaMK20,\n  author       = {Thais Campos de Almeida and\n                  Samhita Marri and\n                  Hadas Kress{-}Gazit},\n  editor       = {Marc Toussaint and\n                  Antonio Bicchi and\n                  Tucker Hermans},\n  title        = {Automated Synthesis of Modular Manipulators' Structure and Control\n                  for Continuous Tasks around Obstacles},\n  booktitle    = {Robotics: Science and Systems XVI, Virtual Event / Corvalis, Oregon,\n                  USA, July 12-16, 2020},\n  year         = {2020},\n  url          = {https://doi.org/10.15607/RSS.2020.XVI.030},\n  doi          = {10.15607/RSS.2020.XVI.030},\n  timestamp    = {Thu, 15 Jul 2021 18:53:52 +0200},\n  biburl       = {https://dblp.org/rec/conf/rss/AlmeidaMK20.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Formalizing and Guaranteeing* Human-Robot Interaction.\n \n \n \n \n\n\n \n Kress-Gazit, H.; Eder, K.; Hoffman, G.; Admoni, H.; Argall, B.; Ehlers, R.; Heckman, C.; Jansen, N.; Knepper, R. A.; Kretínský, J.; Levy-Tzedek, S.; Li, J.; Murphey, T. D.; Riek, L. D.; and Sadigh, D.\n\n\n \n\n\n\n CoRR, abs/2006.16732. 2020.\n \n\n\n\n
\n\n\n\n \n \n \"FormalizingPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/corr/abs-2006-16732,\n  author       = {Hadas Kress{-}Gazit and\n                  Kerstin Eder and\n                  Guy Hoffman and\n                  Henny Admoni and\n                  Brenna Argall and\n                  R{\\"{u}}diger Ehlers and\n                  Christoffer Heckman and\n                  Nils Jansen and\n                  Ross A. Knepper and\n                  Jan Kret{\\'{\\i}}nsk{\\'{y}} and\n                  Shelly Levy{-}Tzedek and\n                  Jamy Li and\n                  Todd D. Murphey and\n                  Laurel D. Riek and\n                  Dorsa Sadigh},\n  title        = {Formalizing and Guaranteeing* Human-Robot Interaction},\n  journal      = {CoRR},\n  volume       = {abs/2006.16732},\n  year         = {2020},\n  url          = {https://arxiv.org/abs/2006.16732},\n  eprinttype    = {arXiv},\n  eprint       = {2006.16732},\n  timestamp    = {Tue, 28 Sep 2021 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-2006-16732.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Event-Based Signal Temporal Logic Synthesis for Single and Multi-Robot Tasks.\n \n \n \n \n\n\n \n Gundana, D.; and Kress-Gazit, H.\n\n\n \n\n\n\n CoRR, abs/2011.00370. 2020.\n \n\n\n\n
\n\n\n\n \n \n \"Event-BasedPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/corr/abs-2011-00370,\n  author       = {David Gundana and\n                  Hadas Kress{-}Gazit},\n  title        = {Event-Based Signal Temporal Logic Synthesis for Single and Multi-Robot\n                  Tasks},\n  journal      = {CoRR},\n  volume       = {abs/2011.00370},\n  year         = {2020},\n  url          = {https://arxiv.org/abs/2011.00370},\n  eprinttype    = {arXiv},\n  eprint       = {2011.00370},\n  timestamp    = {Fri, 06 Nov 2020 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-2011-00370.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2019\n \n \n (8)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Where Do We Go From Here? Debates on the Future of Robotics Research at ICRA 2019 [From the Field].\n \n \n \n \n\n\n \n Clement, L. E.; Peretroukhin, V.; Giamou, M.; Leonard, J. J.; Kress-Gazit, H.; How, J. P.; Milford, M.; Brock, O.; Gariepy, R.; Roy, N.; Siegel, H.; Righetti, L.; Billard, A.; and Kelly, J.\n\n\n \n\n\n\n IEEE Robotics Autom. Mag., 26(3): 7–10. 2019.\n \n\n\n\n
\n\n\n\n \n \n \"WherePaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/ram/ClementPGLKHMBG19,\n  author       = {Lee E. Clement and\n                  Valentin Peretroukhin and\n                  Matthew Giamou and\n                  John J. Leonard and\n                  Hadas Kress{-}Gazit and\n                  Jonathan P. How and\n                  Michael Milford and\n                  Oliver Brock and\n                  Ryan Gariepy and\n                  Nicholas Roy and\n                  Hallie Siegel and\n                  Ludovic Righetti and\n                  Aude Billard and\n                  Jonathan Kelly},\n  title        = {Where Do We Go From Here? Debates on the Future of Robotics Research\n                  at {ICRA} 2019 [From the Field]},\n  journal      = {{IEEE} Robotics Autom. Mag.},\n  volume       = {26},\n  number       = {3},\n  pages        = {7--10},\n  year         = {2019},\n  url          = {https://doi.org/10.1109/MRA.2019.2926934},\n  doi          = {10.1109/MRA.2019.2926934},\n  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/ram/ClementPGLKHMBG19.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n SMT-Based Control and Feedback for Social Navigation.\n \n \n \n \n\n\n \n Campos, T.; Pacheck, A.; Hoffman, G.; and Kress-Gazit, H.\n\n\n \n\n\n\n In International Conference on Robotics and Automation, ICRA 2019, Montreal, QC, Canada, May 20-24, 2019, pages 5005–5011, 2019. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"SMT-BasedPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/icra/CamposPHK19,\n  author       = {Thais Campos and\n                  Adam Pacheck and\n                  Guy Hoffman and\n                  Hadas Kress{-}Gazit},\n  title        = {SMT-Based Control and Feedback for Social Navigation},\n  booktitle    = {International Conference on Robotics and Automation, {ICRA} 2019,\n                  Montreal, QC, Canada, May 20-24, 2019},\n  pages        = {5005--5011},\n  publisher    = {{IEEE}},\n  year         = {2019},\n  url          = {https://doi.org/10.1109/ICRA.2019.8794208},\n  doi          = {10.1109/ICRA.2019.8794208},\n  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},\n  biburl       = {https://dblp.org/rec/conf/icra/CamposPHK19.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Resilient Task Planning and Execution for Reactive Soft Robots.\n \n \n \n \n\n\n \n Hamill, S.; Whitehead, J.; Ferenz, P.; Shepherd, R. F.; and Kress-Gazit, H.\n\n\n \n\n\n\n In International Conference on Robotics and Automation, ICRA 2019, Montreal, QC, Canada, May 20-24, 2019, pages 5148–5154, 2019. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"ResilientPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/icra/HamillWFSK19,\n  author       = {Scott Hamill and\n                  John Whitehead and\n                  Peter Ferenz and\n                  Robert F. Shepherd and\n                  Hadas Kress{-}Gazit},\n  title        = {Resilient Task Planning and Execution for Reactive Soft Robots},\n  booktitle    = {International Conference on Robotics and Automation, {ICRA} 2019,\n                  Montreal, QC, Canada, May 20-24, 2019},\n  pages        = {5148--5154},\n  publisher    = {{IEEE}},\n  year         = {2019},\n  url          = {https://doi.org/10.1109/ICRA.2019.8794303},\n  doi          = {10.1109/ICRA.2019.8794303},\n  timestamp    = {Tue, 13 Aug 2019 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/icra/HamillWFSK19.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Task-Based Design of Ad-hoc Modular Manipulators.\n \n \n \n \n\n\n \n Campos, T.; Inala, J. P.; Solar-Lezama, A.; and Kress-Gazit, H.\n\n\n \n\n\n\n In International Conference on Robotics and Automation, ICRA 2019, Montreal, QC, Canada, May 20-24, 2019, pages 6058–6064, 2019. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"Task-BasedPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/icra/CamposISK19,\n  author       = {Thais Campos and\n                  Jeevana Priya Inala and\n                  Armando Solar{-}Lezama and\n                  Hadas Kress{-}Gazit},\n  title        = {Task-Based Design of Ad-hoc Modular Manipulators},\n  booktitle    = {International Conference on Robotics and Automation, {ICRA} 2019,\n                  Montreal, QC, Canada, May 20-24, 2019},\n  pages        = {6058--6064},\n  publisher    = {{IEEE}},\n  year         = {2019},\n  url          = {https://doi.org/10.1109/ICRA.2019.8794171},\n  doi          = {10.1109/ICRA.2019.8794171},\n  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/icra/CamposISK19.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Specifying and Synthesizing Human-Robot Handovers.\n \n \n \n \n\n\n \n Kshirsagar, A.; Kress-Gazit, H.; and Hoffman, G.\n\n\n \n\n\n\n In 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2019, Macau, SAR, China, November 3-8, 2019, pages 5930–5936, 2019. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"SpecifyingPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/iros/KshirsagarKH19,\n  author       = {Alap Kshirsagar and\n                  Hadas Kress{-}Gazit and\n                  Guy Hoffman},\n  title        = {Specifying and Synthesizing Human-Robot Handovers},\n  booktitle    = {2019 {IEEE/RSJ} International Conference on Intelligent Robots and\n                  Systems, {IROS} 2019, Macau, SAR, China, November 3-8, 2019},\n  pages        = {5930--5936},\n  publisher    = {{IEEE}},\n  year         = {2019},\n  url          = {https://doi.org/10.1109/IROS40897.2019.8967709},\n  doi          = {10.1109/IROS40897.2019.8967709},\n  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/iros/KshirsagarKH19.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Automatic Encoding and Repair of Reactive High-Level Tasks with Learned Abstract Representations.\n \n \n \n \n\n\n \n Pacheck, A.; Konidaris, G.; and Kress-Gazit, H.\n\n\n \n\n\n\n In Asfour, T.; Yoshida, E.; Park, J.; Christensen, H.; and Khatib, O., editor(s), Robotics Research - The 19th International Symposium ISRR 2019, Hanoi, Vietnam, October 6-10, 2019, volume 20, of Springer Proceedings in Advanced Robotics, pages 509–525, 2019. Springer\n \n\n\n\n
\n\n\n\n \n \n \"AutomaticPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/isrr/PacheckKK19,\n  author       = {Adam Pacheck and\n                  George Konidaris and\n                  Hadas Kress{-}Gazit},\n  editor       = {Tamim Asfour and\n                  Eiichi Yoshida and\n                  Jaeheung Park and\n                  Henrik Christensen and\n                  Oussama Khatib},\n  title        = {Automatic Encoding and Repair of Reactive High-Level Tasks with Learned\n                  Abstract Representations},\n  booktitle    = {Robotics Research - The 19th International Symposium {ISRR} 2019,\n                  Hanoi, Vietnam, October 6-10, 2019},\n  series       = {Springer Proceedings in Advanced Robotics},\n  volume       = {20},\n  pages        = {509--525},\n  publisher    = {Springer},\n  year         = {2019},\n  url          = {https://doi.org/10.1007/978-3-030-95459-8\\_31},\n  doi          = {10.1007/978-3-030-95459-8\\_31},\n  timestamp    = {Tue, 22 Mar 2022 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/isrr/PacheckKK19.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Robotics: Science and Systems XV, University of Freiburg, Freiburg im Breisgau, Germany, June 22-26, 2019.\n \n \n \n \n\n\n \n Bicchi, A.; Kress-Gazit, H.; and Hutchinson, S.,\n editors.\n \n\n\n \n\n\n\n 2019.\n \n\n\n\n
\n\n\n\n \n \n \"Robotics:Paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@proceedings{DBLP:conf/rss/2019,\n  editor       = {Antonio Bicchi and\n                  Hadas Kress{-}Gazit and\n                  Seth Hutchinson},\n  title        = {Robotics: Science and Systems XV, University of Freiburg, Freiburg\n                  im Breisgau, Germany, June 22-26, 2019},\n  year         = {2019},\n  url          = {http://www.roboticsproceedings.org/rss15/},\n  isbn         = {978-0-9923747-5-4},\n  timestamp    = {Thu, 01 Apr 2021 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/rss/2019.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Verification and Synthesis of Human-Robot Interaction (Dagstuhl Seminar 19081).\n \n \n \n \n\n\n \n Alami, R.; Eder, K. I.; Hoffman, G.; and Kress-Gazit, H.\n\n\n \n\n\n\n Dagstuhl Reports, 9(2): 91–110. 2019.\n \n\n\n\n
\n\n\n\n \n \n \"VerificationPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/dagstuhl-reports/AlamiEHK19,\n  author       = {Rachid Alami and\n                  Kerstin I. Eder and\n                  Guy Hoffman and\n                  Hadas Kress{-}Gazit},\n  title        = {Verification and Synthesis of Human-Robot Interaction (Dagstuhl Seminar\n                  19081)},\n  journal      = {Dagstuhl Reports},\n  volume       = {9},\n  number       = {2},\n  pages        = {91--110},\n  year         = {2019},\n  url          = {https://doi.org/10.4230/DagRep.9.2.91},\n  doi          = {10.4230/DAGREP.9.2.91},\n  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/AlamiEHK19.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2018\n \n \n (11)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Synthesis for Robots: Guarantees and Feedback for Robot Behavior.\n \n \n \n \n\n\n \n Kress-Gazit, H.; Lahijanian, M.; and Raman, V.\n\n\n \n\n\n\n Annu. Rev. Control. Robotics Auton. Syst., 1: 211–236. 2018.\n \n\n\n\n
\n\n\n\n \n \n \"SynthesisPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/arcras/Kress-GazitLR18,\n  author       = {Hadas Kress{-}Gazit and\n                  Morteza Lahijanian and\n                  Vasumathi Raman},\n  title        = {Synthesis for Robots: Guarantees and Feedback for Robot Behavior},\n  journal      = {Annu. Rev. Control. Robotics Auton. Syst.},\n  volume       = {1},\n  pages        = {211--236},\n  year         = {2018},\n  url          = {https://doi.org/10.1146/annurev-control-060117-104838},\n  doi          = {10.1146/ANNUREV-CONTROL-060117-104838},\n  timestamp    = {Tue, 11 Apr 2023 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/arcras/Kress-GazitLR18.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Reactive mission and motion planning with deadlock resolution avoiding dynamic obstacles.\n \n \n \n \n\n\n \n Alonso-Mora, J.; DeCastro, J. A.; Raman, V.; Rus, D.; and Kress-Gazit, H.\n\n\n \n\n\n\n Auton. Robots, 42(4): 801–824. 2018.\n \n\n\n\n
\n\n\n\n \n \n \"ReactivePaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/arobots/Alonso-MoraDRRK18,\n  author       = {Javier Alonso{-}Mora and\n                  Jonathan A. DeCastro and\n                  Vasumathi Raman and\n                  Daniela Rus and\n                  Hadas Kress{-}Gazit},\n  title        = {Reactive mission and motion planning with deadlock resolution avoiding\n                  dynamic obstacles},\n  journal      = {Auton. Robots},\n  volume       = {42},\n  number       = {4},\n  pages        = {801--824},\n  year         = {2018},\n  url          = {https://doi.org/10.1007/s10514-017-9665-6},\n  doi          = {10.1007/S10514-017-9665-6},\n  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/arobots/Alonso-MoraDRRK18.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Accomplishing high-level tasks with modular robots.\n \n \n \n \n\n\n \n Jing, G.; Tosun, T.; Yim, M.; and Kress-Gazit, H.\n\n\n \n\n\n\n Auton. Robots, 42(7): 1337–1354. 2018.\n \n\n\n\n
\n\n\n\n \n \n \"AccomplishingPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/arobots/JingTYK18,\n  author       = {Gangyuan Jing and\n                  Tarik Tosun and\n                  Mark Yim and\n                  Hadas Kress{-}Gazit},\n  title        = {Accomplishing high-level tasks with modular robots},\n  journal      = {Auton. Robots},\n  volume       = {42},\n  number       = {7},\n  pages        = {1337--1354},\n  year         = {2018},\n  url          = {https://doi.org/10.1007/s10514-018-9738-1},\n  doi          = {10.1007/S10514-018-9738-1},\n  timestamp    = {Sat, 11 Aug 2018 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/arobots/JingTYK18.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Resource-Performance Tradeoff Analysis for Mobile Robots.\n \n \n \n \n\n\n \n Lahijanian, M.; Svorenová, M.; Morye, A. A.; Yeomans, B.; Rao, D.; Posner, I.; Newman, P.; Kress-Gazit, H.; and Kwiatkowska, M.\n\n\n \n\n\n\n IEEE Robotics Autom. Lett., 3(3): 1840–1847. 2018.\n \n\n\n\n
\n\n\n\n \n \n \"Resource-PerformancePaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/ral/LahijanianSMYRP18,\n  author       = {Morteza Lahijanian and\n                  Mar{\\'{\\i}}a Svorenov{\\'{a}} and\n                  Akshay A. Morye and\n                  Brian Yeomans and\n                  Dushyant Rao and\n                  Ingmar Posner and\n                  Paul Newman and\n                  Hadas Kress{-}Gazit and\n                  Marta Kwiatkowska},\n  title        = {Resource-Performance Tradeoff Analysis for Mobile Robots},\n  journal      = {{IEEE} Robotics Autom. Lett.},\n  volume       = {3},\n  number       = {3},\n  pages        = {1840--1847},\n  year         = {2018},\n  url          = {https://doi.org/10.1109/LRA.2018.2803814},\n  doi          = {10.1109/LRA.2018.2803814},\n  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/ral/LahijanianSMYRP18.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n An integrated system for perception-driven autonomy with modular robots.\n \n \n \n \n\n\n \n Jing, G.; Tosun, T.; Yim, M.; Kress-Gazit, H.; and Campbell, M. E.\n\n\n \n\n\n\n Sci. Robotics, 3(23). 2018.\n \n\n\n\n
\n\n\n\n \n \n \"AnPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/scirobotics/JingTYKC18,\n  author       = {Gangyuan Jing and\n                  Tarik Tosun and\n                  Mark Yim and\n                  Hadas Kress{-}Gazit and\n                  Mark E. Campbell},\n  title        = {An integrated system for perception-driven autonomy with modular robots},\n  journal      = {Sci. Robotics},\n  volume       = {3},\n  number       = {23},\n  year         = {2018},\n  url          = {https://doi.org/10.1126/scirobotics.aat4983},\n  doi          = {10.1126/SCIROBOTICS.AAT4983},\n  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/scirobotics/JingTYKC18.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Resilient, Provably-Correct, and High-Level Robot Behaviors.\n \n \n \n \n\n\n \n Wong, K. W.; Ehlers, R.; and Kress-Gazit, H.\n\n\n \n\n\n\n IEEE Trans. Robotics, 34(4): 936–952. 2018.\n \n\n\n\n
\n\n\n\n \n \n \"Resilient,Paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/trob/WongEK18,\n  author       = {Kai Weng Wong and\n                  R{\\"{u}}diger Ehlers and\n                  Hadas Kress{-}Gazit},\n  title        = {Resilient, Provably-Correct, and High-Level Robot Behaviors},\n  journal      = {{IEEE} Trans. Robotics},\n  volume       = {34},\n  number       = {4},\n  pages        = {936--952},\n  year         = {2018},\n  url          = {https://doi.org/10.1109/TRO.2018.2830353},\n  doi          = {10.1109/TRO.2018.2830353},\n  timestamp    = {Thu, 13 Sep 2018 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/trob/WongEK18.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Verifiable Control of Robotic Swarm from High-level Specifications.\n \n \n \n \n\n\n \n Chen, J.; Moarref, S.; and Kress-Gazit, H.\n\n\n \n\n\n\n In André, E.; Koenig, S.; Dastani, M.; and Sukthankar, G., editor(s), Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2018, Stockholm, Sweden, July 10-15, 2018, pages 568–576, 2018. International Foundation for Autonomous Agents and Multiagent Systems Richland, SC, USA / ACM\n \n\n\n\n
\n\n\n\n \n \n \"VerifiablePaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/atal/ChenMK18,\n  author       = {Ji Chen and\n                  Salar Moarref and\n                  Hadas Kress{-}Gazit},\n  editor       = {Elisabeth Andr{\\'{e}} and\n                  Sven Koenig and\n                  Mehdi Dastani and\n                  Gita Sukthankar},\n  title        = {Verifiable Control of Robotic Swarm from High-level Specifications},\n  booktitle    = {Proceedings of the 17th International Conference on Autonomous Agents\n                  and MultiAgent Systems, {AAMAS} 2018, Stockholm, Sweden, July 10-15,\n                  2018},\n  pages        = {568--576},\n  publisher    = {International Foundation for Autonomous Agents and Multiagent Systems\n                  Richland, SC, {USA} / {ACM}},\n  year         = {2018},\n  url          = {http://dl.acm.org/citation.cfm?id=3237467},\n  timestamp    = {Sat, 30 Sep 2023 09:34:53 +0200},\n  biburl       = {https://dblp.org/rec/conf/atal/ChenMK18.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Reactive Synthesis for Robotic Swarms.\n \n \n \n \n\n\n \n Moarref, S.; and Kress-Gazit, H.\n\n\n \n\n\n\n In Jansen, D. N.; and Prabhakar, P., editor(s), Formal Modeling and Analysis of Timed Systems - 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings, volume 11022, of Lecture Notes in Computer Science, pages 71–87, 2018. Springer\n \n\n\n\n
\n\n\n\n \n \n \"ReactivePaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/formats/MoarrefK18,\n  author       = {Salar Moarref and\n                  Hadas Kress{-}Gazit},\n  editor       = {David N. Jansen and\n                  Pavithra Prabhakar},\n  title        = {Reactive Synthesis for Robotic Swarms},\n  booktitle    = {Formal Modeling and Analysis of Timed Systems - 16th International\n                  Conference, {FORMATS} 2018, Beijing, China, September 4-6, 2018, Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {11022},\n  pages        = {71--87},\n  publisher    = {Springer},\n  year         = {2018},\n  url          = {https://doi.org/10.1007/978-3-030-00151-3\\_5},\n  doi          = {10.1007/978-3-030-00151-3\\_5},\n  timestamp    = {Sat, 09 Apr 2022 12:48:56 +0200},\n  biburl       = {https://dblp.org/rec/conf/formats/MoarrefK18.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Perception-Informed Autonomous Environment Augmentation with Modular Robots.\n \n \n \n \n\n\n \n Tosun, T.; Daudelin, J.; Jing, G.; Kress-Gazit, H.; Campbell, M. E.; and Yim, M.\n\n\n \n\n\n\n In 2018 IEEE International Conference on Robotics and Automation, ICRA 2018, Brisbane, Australia, May 21-25, 2018, pages 6818–6824, 2018. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"Perception-InformedPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/icra/TosunDJKCY18,\n  author       = {Tarik Tosun and\n                  Jonathan Daudelin and\n                  Gangyuan Jing and\n                  Hadas Kress{-}Gazit and\n                  Mark E. Campbell and\n                  Mark Yim},\n  title        = {Perception-Informed Autonomous Environment Augmentation with Modular\n                  Robots},\n  booktitle    = {2018 {IEEE} International Conference on Robotics and Automation, {ICRA}\n                  2018, Brisbane, Australia, May 21-25, 2018},\n  pages        = {6818--6824},\n  publisher    = {{IEEE}},\n  year         = {2018},\n  url          = {https://doi.org/10.1109/ICRA.2018.8463155},\n  doi          = {10.1109/ICRA.2018.8463155},\n  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},\n  biburl       = {https://dblp.org/rec/conf/icra/TosunDJKCY18.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems.\n \n \n \n \n\n\n \n Kress-Gazit, H.; and Torfah, H.\n\n\n \n\n\n\n In Finkbeiner, B.; and Kleinberg, S., editor(s), Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology, CREST@ETAPS 2018, Thessaloniki, Greece, 21st April 2018, volume 286, of EPTCS, pages 50–64, 2018. \n \n\n\n\n
\n\n\n\n \n \n \"ThePaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:journals/corr/abs-1901-00591,\n  author       = {Hadas Kress{-}Gazit and\n                  Hazem Torfah},\n  editor       = {Bernd Finkbeiner and\n                  Samantha Kleinberg},\n  title        = {The Challenges in Specifying and Explaining Synthesized Implementations\n                  of Reactive Systems},\n  booktitle    = {Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility,\n                  and Explanations in Science and Technology, CREST@ETAPS 2018, Thessaloniki,\n                  Greece, 21st April 2018},\n  series       = {{EPTCS}},\n  volume       = {286},\n  pages        = {50--64},\n  year         = {2018},\n  url          = {https://doi.org/10.4204/EPTCS.286.5},\n  doi          = {10.4204/EPTCS.286.5},\n  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-1901-00591.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Robotics: Science and Systems XIV, Carnegie Mellon University, Pittsburgh, Pennsylvania, USA, June 26-30, 2018.\n \n \n \n \n\n\n \n Kress-Gazit, H.; Srinivasa, S. S.; Howard, T.; and Atanasov, N.,\n editors.\n \n\n\n \n\n\n\n 2018.\n \n\n\n\n
\n\n\n\n \n \n \"Robotics:Paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@proceedings{DBLP:conf/rss/2018,\n  editor       = {Hadas Kress{-}Gazit and\n                  Siddhartha S. Srinivasa and\n                  Tom Howard and\n                  Nikolay Atanasov},\n  title        = {Robotics: Science and Systems XIV, Carnegie Mellon University, Pittsburgh,\n                  Pennsylvania, USA, June 26-30, 2018},\n  year         = {2018},\n  url          = {http://www.roboticsproceedings.org/rss14/},\n  isbn         = {978-0-9923747-4-7},\n  timestamp    = {Fri, 04 Aug 2023 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/rss/2018.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2017\n \n \n (12)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Automated generation of dynamics-based runtime certificates for high-level control.\n \n \n \n \n\n\n \n DeCastro, J. A.; Ehlers, R.; Rungger, M.; Balkan, A.; and Kress-Gazit, H.\n\n\n \n\n\n\n Discret. Event Dyn. Syst., 27(2): 371–405. 2017.\n \n\n\n\n
\n\n\n\n \n \n \"AutomatedPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/deds/DeCastroERBK17,\n  author       = {Jonathan A. DeCastro and\n                  R{\\"{u}}diger Ehlers and\n                  Matthias Rungger and\n                  Ayca Balkan and\n                  Hadas Kress{-}Gazit},\n  title        = {Automated generation of dynamics-based runtime certificates for high-level\n                  control},\n  journal      = {Discret. Event Dyn. Syst.},\n  volume       = {27},\n  number       = {2},\n  pages        = {371--405},\n  year         = {2017},\n  url          = {https://doi.org/10.1007/s10626-016-0232-7},\n  doi          = {10.1007/S10626-016-0232-7},\n  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/deds/DeCastroERBK17.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Collaborative Autonomy between High-level Behaviors and Human Operators for Remote Manipulation Tasks using Different Humanoid Robots.\n \n \n \n \n\n\n \n Romay, A.; Kohlbrecher, S.; Stumpf, A.; von Stryk, O.; Maniatopoulos, S.; Kress-Gazit, H.; Schillinger, P.; and Conner, D. C.\n\n\n \n\n\n\n J. Field Robotics, 34(2): 333–358. 2017.\n \n\n\n\n
\n\n\n\n \n \n \"CollaborativePaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/jfr/RomayKSSMKSC17,\n  author       = {Alberto Romay and\n                  Stefan Kohlbrecher and\n                  Alexander Stumpf and\n                  Oskar von Stryk and\n                  Spyros Maniatopoulos and\n                  Hadas Kress{-}Gazit and\n                  Philipp Schillinger and\n                  David C. Conner},\n  title        = {Collaborative Autonomy between High-level Behaviors and Human Operators\n                  for Remote Manipulation Tasks using Different Humanoid Robots},\n  journal      = {J. Field Robotics},\n  volume       = {34},\n  number       = {2},\n  pages        = {333--358},\n  year         = {2017},\n  url          = {https://doi.org/10.1002/rob.21671},\n  doi          = {10.1002/ROB.21671},\n  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/jfr/RomayKSSMKSC17.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Experimental Evaluation and Formal Analysis of High-Level Tasks with Dynamic Obstacle Anticipation on a Full-Sized Autonomous Vehicle.\n \n \n \n \n\n\n \n Johnson, B.; Havlak, F.; Kress-Gazit, H.; and Campbell, M. E.\n\n\n \n\n\n\n J. Field Robotics, 34(5): 897–911. 2017.\n \n\n\n\n
\n\n\n\n \n \n \"ExperimentalPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/jfr/JohnsonHKC17,\n  author       = {Benjamin Johnson and\n                  Frank Havlak and\n                  Hadas Kress{-}Gazit and\n                  Mark E. Campbell},\n  title        = {Experimental Evaluation and Formal Analysis of High-Level Tasks with\n                  Dynamic Obstacle Anticipation on a Full-Sized Autonomous Vehicle},\n  journal      = {J. Field Robotics},\n  volume       = {34},\n  number       = {5},\n  pages        = {897--911},\n  year         = {2017},\n  url          = {https://doi.org/10.1002/rob.21695},\n  doi          = {10.1002/ROB.21695},\n  timestamp    = {Mon, 18 Feb 2019 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/jfr/JohnsonHKC17.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n An End-to-End System for Accomplishing Tasks with Modular Robots: Perspectives for the AI community.\n \n \n \n \n\n\n \n Jing, G.; Tosun, T.; Yim, M.; and Kress-Gazit, H.\n\n\n \n\n\n\n In Sierra, C., editor(s), Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017, pages 4879–4883, 2017. ijcai.org\n \n\n\n\n
\n\n\n\n \n \n \"AnPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/ijcai/JingTYK17,\n  author       = {Gangyuan Jing and\n                  Tarik Tosun and\n                  Mark Yim and\n                  Hadas Kress{-}Gazit},\n  editor       = {Carles Sierra},\n  title        = {An End-to-End System for Accomplishing Tasks with Modular Robots:\n                  Perspectives for the {AI} community},\n  booktitle    = {Proceedings of the Twenty-Sixth International Joint Conference on\n                  Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August\n                  19-25, 2017},\n  pages        = {4879--4883},\n  publisher    = {ijcai.org},\n  year         = {2017},\n  url          = {https://doi.org/10.24963/ijcai.2017/686},\n  doi          = {10.24963/IJCAI.2017/686},\n  timestamp    = {Tue, 20 Aug 2019 16:16:54 +0200},\n  biburl       = {https://dblp.org/rec/conf/ijcai/JingTYK17.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n From High-Level Task Specification to Robot Operating System (ROS) Implementation.\n \n \n \n \n\n\n \n Wong, K. W.; and Kress-Gazit, H.\n\n\n \n\n\n\n In First IEEE International Conference on Robotic Computing, IRC 2017, Taichung, Taiwan, April 10-12, 2017, pages 188–195, 2017. IEEE Computer Society\n \n\n\n\n
\n\n\n\n \n \n \"FromPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/irc/WongK17,\n  author       = {Kai Weng Wong and\n                  Hadas Kress{-}Gazit},\n  title        = {From High-Level Task Specification to Robot Operating System {(ROS)}\n                  Implementation},\n  booktitle    = {First {IEEE} International Conference on Robotic Computing, {IRC}\n                  2017, Taichung, Taiwan, April 10-12, 2017},\n  pages        = {188--195},\n  publisher    = {{IEEE} Computer Society},\n  year         = {2017},\n  url          = {https://doi.org/10.1109/IRC.2017.18},\n  doi          = {10.1109/IRC.2017.18},\n  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/irc/WongK17.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Decentralized control of robotic swarms from high-level temporal logic specifications.\n \n \n \n \n\n\n \n Moarref, S.; and Kress-Gazit, H.\n\n\n \n\n\n\n In 2017 International Symposium on Multi-Robot and Multi-Agent Systems (MRS), Los Angeles, CA, USA, December 4-5, 2017, pages 17–23, 2017. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"DecentralizedPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/mrs/MoarrefK17,\n  author       = {Salar Moarref and\n                  Hadas Kress{-}Gazit},\n  title        = {Decentralized control of robotic swarms from high-level temporal logic\n                  specifications},\n  booktitle    = {2017 International Symposium on Multi-Robot and Multi-Agent Systems\n                  (MRS), Los Angeles, CA, USA, December 4-5, 2017},\n  pages        = {17--23},\n  publisher    = {{IEEE}},\n  year         = {2017},\n  url          = {https://doi.org/10.1109/MRS.2017.8250926},\n  doi          = {10.1109/MRS.2017.8250926},\n  timestamp    = {Wed, 16 Oct 2019 14:14:48 +0200},\n  biburl       = {https://dblp.org/rec/conf/mrs/MoarrefK17.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Contextual awareness: Understanding monologic natural language instructions for autonomous robots.\n \n \n \n \n\n\n \n Arkin, J.; Walter, M. R.; Boteanu, A.; Napoli, M. E.; Biggie, H.; Kress-Gazit, H.; and Howard, T. M.\n\n\n \n\n\n\n In 26th IEEE International Symposium on Robot and Human Interactive Communication, RO-MAN 2017, Lisbon, Portugal, August 28 - Sept. 1, 2017, pages 502–509, 2017. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"ContextualPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/ro-man/ArkinWBNBKH17,\n  author       = {Jacob Arkin and\n                  Matthew R. Walter and\n                  Adrian Boteanu and\n                  Michael E. Napoli and\n                  Harel Biggie and\n                  Hadas Kress{-}Gazit and\n                  Thomas M. Howard},\n  title        = {Contextual awareness: Understanding monologic natural language instructions\n                  for autonomous robots},\n  booktitle    = {26th {IEEE} International Symposium on Robot and Human Interactive\n                  Communication, {RO-MAN} 2017, Lisbon, Portugal, August 28 - Sept.\n                  1, 2017},\n  pages        = {502--509},\n  publisher    = {{IEEE}},\n  year         = {2017},\n  url          = {https://doi.org/10.1109/ROMAN.2017.8172349},\n  doi          = {10.1109/ROMAN.2017.8172349},\n  timestamp    = {Wed, 16 Oct 2019 14:14:50 +0200},\n  biburl       = {https://dblp.org/rec/conf/ro-man/ArkinWBNBKH17.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n An Integrated System for Perception-Driven Autonomy with Modular Robots.\n \n \n \n \n\n\n \n Daudelin, J.; Jing, G.; Tosun, T.; Yim, M.; Kress-Gazit, H.; and Campbell, M. E.\n\n\n \n\n\n\n CoRR, abs/1709.05435. 2017.\n \n\n\n\n
\n\n\n\n \n \n \"AnPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/corr/abs-1709-05435,\n  author       = {Jonathan Daudelin and\n                  Gangyuan Jing and\n                  Tarik Tosun and\n                  Mark Yim and\n                  Hadas Kress{-}Gazit and\n                  Mark E. Campbell},\n  title        = {An Integrated System for Perception-Driven Autonomy with Modular Robots},\n  journal      = {CoRR},\n  volume       = {abs/1709.05435},\n  year         = {2017},\n  url          = {http://arxiv.org/abs/1709.05435},\n  eprinttype    = {arXiv},\n  eprint       = {1709.05435},\n  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-1709-05435.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Robot-Initiated Specification Repair through Grounded Language Interaction.\n \n \n \n \n\n\n \n Boteanu, A.; Arkin, J.; Patki, S.; Howard, T. M.; and Kress-Gazit, H.\n\n\n \n\n\n\n CoRR, abs/1710.01417. 2017.\n \n\n\n\n
\n\n\n\n \n \n \"Robot-InitiatedPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/corr/abs-1710-01417,\n  author       = {Adrian Boteanu and\n                  Jacob Arkin and\n                  Siddharth Patki and\n                  Thomas M. Howard and\n                  Hadas Kress{-}Gazit},\n  title        = {Robot-Initiated Specification Repair through Grounded Language Interaction},\n  journal      = {CoRR},\n  volume       = {abs/1710.01417},\n  year         = {2017},\n  url          = {http://arxiv.org/abs/1710.01417},\n  eprinttype    = {arXiv},\n  eprint       = {1710.01417},\n  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-1710-01417.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Perception-Informed Autonomous Environment Augmentation With Modular Robots.\n \n \n \n \n\n\n \n Tosun, T.; Daudelin, J.; Jing, G.; Kress-Gazit, H.; Campbell, M. E.; and Yim, M.\n\n\n \n\n\n\n CoRR, abs/1710.01840. 2017.\n \n\n\n\n
\n\n\n\n \n \n \"Perception-InformedPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/corr/abs-1710-01840,\n  author       = {Tarik Tosun and\n                  Jonathan Daudelin and\n                  Gangyuan Jing and\n                  Hadas Kress{-}Gazit and\n                  Mark E. Campbell and\n                  Mark Yim},\n  title        = {Perception-Informed Autonomous Environment Augmentation With Modular\n                  Robots},\n  journal      = {CoRR},\n  volume       = {abs/1710.01840},\n  year         = {2017},\n  url          = {http://arxiv.org/abs/1710.01840},\n  eprinttype    = {arXiv},\n  eprint       = {1710.01840},\n  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-1710-01840.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Accomplishing High-Level Tasks with Modular Robots.\n \n \n \n \n\n\n \n Jing, G.; Tosun, T.; Yim, M.; and Kress-Gazit, H.\n\n\n \n\n\n\n CoRR, abs/1712.02299. 2017.\n \n\n\n\n
\n\n\n\n \n \n \"AccomplishingPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/corr/abs-1712-02299,\n  author       = {Gangyuan Jing and\n                  Tarik Tosun and\n                  Mark Yim and\n                  Hadas Kress{-}Gazit},\n  title        = {Accomplishing High-Level Tasks with Modular Robots},\n  journal      = {CoRR},\n  volume       = {abs/1712.02299},\n  year         = {2017},\n  url          = {http://arxiv.org/abs/1712.02299},\n  eprinttype    = {arXiv},\n  eprint       = {1712.02299},\n  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-1712-02299.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071).\n \n \n \n \n\n\n \n Ábrahám, E.; Kress-Gazit, H.; Natale, L.; and Tacchella, A.\n\n\n \n\n\n\n Dagstuhl Reports, 7(2): 48–63. 2017.\n \n\n\n\n
\n\n\n\n \n \n \"Computer-AssistedPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/dagstuhl-reports/AbrahamKNT17,\n  author       = {Erika {\\'{A}}brah{\\'{a}}m and\n                  Hadas Kress{-}Gazit and\n                  Lorenzo Natale and\n                  Armando Tacchella},\n  title        = {Computer-Assisted Engineering for Robotics and Autonomous Systems\n                  (Dagstuhl Seminar 17071)},\n  journal      = {Dagstuhl Reports},\n  volume       = {7},\n  number       = {2},\n  pages        = {48--63},\n  year         = {2017},\n  url          = {https://doi.org/10.4230/DagRep.7.2.48},\n  doi          = {10.4230/DAGREP.7.2.48},\n  timestamp    = {Mon, 11 Sep 2017 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/AbrahamKNT17.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2016\n \n \n (8)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Iterative Temporal Planning in Uncertain Environments With Partial Satisfaction Guarantees.\n \n \n \n \n\n\n \n Lahijanian, M.; Maly, M. R.; Fried, D.; Kavraki, L. E.; Kress-Gazit, H.; and Vardi, M. Y.\n\n\n \n\n\n\n IEEE Trans. Robotics, 32(3): 583–599. 2016.\n \n\n\n\n
\n\n\n\n \n \n \"IterativePaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/trob/LahijanianMFKKV16,\n  author       = {Morteza Lahijanian and\n                  Matthew R. Maly and\n                  Dror Fried and\n                  Lydia E. Kavraki and\n                  Hadas Kress{-}Gazit and\n                  Moshe Y. Vardi},\n  title        = {Iterative Temporal Planning in Uncertain Environments With Partial\n                  Satisfaction Guarantees},\n  journal      = {{IEEE} Trans. Robotics},\n  volume       = {32},\n  number       = {3},\n  pages        = {583--599},\n  year         = {2016},\n  url          = {https://doi.org/10.1109/TRO.2016.2544339},\n  doi          = {10.1109/TRO.2016.2544339},\n  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/trob/LahijanianMFKKV16.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Nonlinear Controller Synthesis and Automatic Workspace Partitioning for Reactive High-Level Behaviors.\n \n \n \n \n\n\n \n DeCastro, J. A.; and Kress-Gazit, H.\n\n\n \n\n\n\n In Abate, A.; and Fainekos, G., editor(s), Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016, pages 225–234, 2016. ACM\n \n\n\n\n
\n\n\n\n \n \n \"NonlinearPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/hybrid/DeCastroK16,\n  author       = {Jonathan A. DeCastro and\n                  Hadas Kress{-}Gazit},\n  editor       = {Alessandro Abate and\n                  Georgios Fainekos},\n  title        = {Nonlinear Controller Synthesis and Automatic Workspace Partitioning\n                  for Reactive High-Level Behaviors},\n  booktitle    = {Proceedings of the 19th International Conference on Hybrid Systems:\n                  Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,\n                  2016},\n  pages        = {225--234},\n  publisher    = {{ACM}},\n  year         = {2016},\n  url          = {https://doi.org/10.1145/2883817.2883832},\n  doi          = {10.1145/2883817.2883832},\n  timestamp    = {Fri, 13 Aug 2021 11:37:40 +0200},\n  biburl       = {https://dblp.org/rec/conf/hybrid/DeCastroK16.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Reactive high-level behavior synthesis for an Atlas humanoid robot.\n \n \n \n \n\n\n \n Maniatopoulos, S.; Schillinger, P.; Pong, V.; Conner, D. C.; and Kress-Gazit, H.\n\n\n \n\n\n\n In Kragic, D.; Bicchi, A.; and Luca, A. D., editor(s), 2016 IEEE International Conference on Robotics and Automation, ICRA 2016, Stockholm, Sweden, May 16-21, 2016, pages 4192–4199, 2016. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"ReactivePaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/icra/ManiatopoulosSP16,\n  author       = {Spyros Maniatopoulos and\n                  Philipp Schillinger and\n                  Vitchyr Pong and\n                  David C. Conner and\n                  Hadas Kress{-}Gazit},\n  editor       = {Danica Kragic and\n                  Antonio Bicchi and\n                  Alessandro De Luca},\n  title        = {Reactive high-level behavior synthesis for an Atlas humanoid robot},\n  booktitle    = {2016 {IEEE} International Conference on Robotics and Automation, {ICRA}\n                  2016, Stockholm, Sweden, May 16-21, 2016},\n  pages        = {4192--4199},\n  publisher    = {{IEEE}},\n  year         = {2016},\n  url          = {https://doi.org/10.1109/ICRA.2016.7487613},\n  doi          = {10.1109/ICRA.2016.7487613},\n  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},\n  biburl       = {https://dblp.org/rec/conf/icra/ManiatopoulosSP16.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Need-based coordination for decentralized high-level robot control.\n \n \n \n \n\n\n \n Wong, K. W.; and Kress-Gazit, H.\n\n\n \n\n\n\n In 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2016, Daejeon, South Korea, October 9-14, 2016, pages 2209–2216, 2016. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"Need-basedPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/iros/WongK16,\n  author       = {Kai Weng Wong and\n                  Hadas Kress{-}Gazit},\n  title        = {Need-based coordination for decentralized high-level robot control},\n  booktitle    = {2016 {IEEE/RSJ} International Conference on Intelligent Robots and\n                  Systems, {IROS} 2016, Daejeon, South Korea, October 9-14, 2016},\n  pages        = {2209--2216},\n  publisher    = {{IEEE}},\n  year         = {2016},\n  url          = {https://doi.org/10.1109/IROS.2016.7759346},\n  doi          = {10.1109/IROS.2016.7759346},\n  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},\n  biburl       = {https://dblp.org/rec/conf/iros/WongK16.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n A model for verifiable grounding and execution of complex natural language instructions.\n \n \n \n \n\n\n \n Boteanu, A.; Howard, T. M.; Arkin, J.; and Kress-Gazit, H.\n\n\n \n\n\n\n In 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2016, Daejeon, South Korea, October 9-14, 2016, pages 2649–2654, 2016. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"APaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/iros/BoteanuHAK16,\n  author       = {Adrian Boteanu and\n                  Thomas M. Howard and\n                  Jacob Arkin and\n                  Hadas Kress{-}Gazit},\n  title        = {A model for verifiable grounding and execution of complex natural\n                  language instructions},\n  booktitle    = {2016 {IEEE/RSJ} International Conference on Intelligent Robots and\n                  Systems, {IROS} 2016, Daejeon, South Korea, October 9-14, 2016},\n  pages        = {2649--2654},\n  publisher    = {{IEEE}},\n  year         = {2016},\n  url          = {https://doi.org/10.1109/IROS.2016.7759412},\n  doi          = {10.1109/IROS.2016.7759412},\n  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/iros/BoteanuHAK16.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Gait Synthesis for Modular Soft Robots.\n \n \n \n \n\n\n \n Hamill, S.; Peele, B.; Ferenz, P.; Westwater, M.; Shepherd, R. F.; and Kress-Gazit, H.\n\n\n \n\n\n\n In Kulic, D.; Nakamura, Y.; Khatib, O.; and Venture, G., editor(s), International Symposium on Experimental Robotics, ISER 2016, Tokyo, Japan, October 3-6, 2016, volume 1, of Springer Proceedings in Advanced Robotics, pages 669–678, 2016. Springer\n \n\n\n\n
\n\n\n\n \n \n \"GaitPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/iser/HamillPFWSK16,\n  author       = {Scott Hamill and\n                  Bryan Peele and\n                  Peter Ferenz and\n                  Max Westwater and\n                  Robert F. Shepherd and\n                  Hadas Kress{-}Gazit},\n  editor       = {Dana Kulic and\n                  Yoshihiko Nakamura and\n                  Oussama Khatib and\n                  Gentiane Venture},\n  title        = {Gait Synthesis for Modular Soft Robots},\n  booktitle    = {International Symposium on Experimental Robotics, {ISER} 2016, Tokyo,\n                  Japan, October 3-6, 2016},\n  series       = {Springer Proceedings in Advanced Robotics},\n  volume       = {1},\n  pages        = {669--678},\n  publisher    = {Springer},\n  year         = {2016},\n  url          = {https://doi.org/10.1007/978-3-319-50115-4\\_58},\n  doi          = {10.1007/978-3-319-50115-4\\_58},\n  timestamp    = {Tue, 06 Feb 2018 09:01:34 +0100},\n  biburl       = {https://dblp.org/rec/conf/iser/HamillPFWSK16.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n An End-To-End System for Accomplishing Tasks with Modular Robots.\n \n \n \n \n\n\n \n Jing, G.; Tosun, T.; Yim, M.; and Kress-Gazit, H.\n\n\n \n\n\n\n In Hsu, D.; Amato, N. M.; Berman, S.; and Jacobs, S. A., editor(s), Robotics: Science and Systems XII, University of Michigan, Ann Arbor, Michigan, USA, June 18 - June 22, 2016, 2016. \n \n\n\n\n
\n\n\n\n \n \n \"AnPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/rss/JingTYK16,\n  author       = {Gangyuan Jing and\n                  Tarik Tosun and\n                  Mark Yim and\n                  Hadas Kress{-}Gazit},\n  editor       = {David Hsu and\n                  Nancy M. Amato and\n                  Spring Berman and\n                  Sam Ade Jacobs},\n  title        = {An End-To-End System for Accomplishing Tasks with Modular Robots},\n  booktitle    = {Robotics: Science and Systems XII, University of Michigan, Ann Arbor,\n                  Michigan, USA, June 18 - June 22, 2016},\n  year         = {2016},\n  url          = {http://www.roboticsproceedings.org/rss12/p25.html},\n  doi          = {10.15607/RSS.2016.XII.025},\n  timestamp    = {Fri, 29 Jan 2021 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/rss/JingTYK16.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Resource-Performance Trade-off Analysis for Mobile Robots.\n \n \n \n \n\n\n \n Svorenová, M.; Lahijanian, M.; Morye, A. A.; Rao, D.; Posner, I.; Newman, P.; Kress-Gazit, H.; and Kwiatkowska, M.\n\n\n \n\n\n\n CoRR, abs/1609.04888. 2016.\n \n\n\n\n
\n\n\n\n \n \n \"Resource-PerformancePaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/corr/SvorenovaLMRP0K16,\n  author       = {Mar{\\'{\\i}}a Svorenov{\\'{a}} and\n                  Morteza Lahijanian and\n                  Akshay A. Morye and\n                  Dushyant Rao and\n                  Ingmar Posner and\n                  Paul Newman and\n                  Hadas Kress{-}Gazit and\n                  Marta Kwiatkowska},\n  title        = {Resource-Performance Trade-off Analysis for Mobile Robots},\n  journal      = {CoRR},\n  volume       = {abs/1609.04888},\n  year         = {2016},\n  url          = {http://arxiv.org/abs/1609.04888},\n  eprinttype    = {arXiv},\n  eprint       = {1609.04888},\n  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/corr/SvorenovaLMRP0K16.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2015\n \n \n (10)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Provably correct reactive control from natural language.\n \n \n \n \n\n\n \n Lignos, C.; Raman, V.; Finucane, C.; Marcus, M. P.; and Kress-Gazit, H.\n\n\n \n\n\n\n Auton. Robots, 38(1): 89–105. 2015.\n \n\n\n\n
\n\n\n\n \n \n \"ProvablyPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/arobots/LignosRFMK15,\n  author       = {Constantine Lignos and\n                  Vasumathi Raman and\n                  Cameron Finucane and\n                  Mitchell P. Marcus and\n                  Hadas Kress{-}Gazit},\n  title        = {Provably correct reactive control from natural language},\n  journal      = {Auton. Robots},\n  volume       = {38},\n  number       = {1},\n  pages        = {89--105},\n  year         = {2015},\n  url          = {https://doi.org/10.1007/s10514-014-9418-8},\n  doi          = {10.1007/S10514-014-9418-8},\n  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/arobots/LignosRFMK15.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Synthesis of nonlinear continuous controllers for verifiably correct high-level, reactive behaviors.\n \n \n \n \n\n\n \n DeCastro, J. A.; and Kress-Gazit, H.\n\n\n \n\n\n\n Int. J. Robotics Res., 34(3): 378–394. 2015.\n \n\n\n\n
\n\n\n\n \n \n \"SynthesisPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/ijrr/DeCastroK15,\n  author       = {Jonathan A. DeCastro and\n                  Hadas Kress{-}Gazit},\n  title        = {Synthesis of nonlinear continuous controllers for verifiably correct\n                  high-level, reactive behaviors},\n  journal      = {Int. J. Robotics Res.},\n  volume       = {34},\n  number       = {3},\n  pages        = {378--394},\n  year         = {2015},\n  url          = {https://doi.org/10.1177/0278364914557736},\n  doi          = {10.1177/0278364914557736},\n  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/ijrr/DeCastroK15.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Analyzing and revising synthesized controllers for robots with sensing and actuation errors.\n \n \n \n \n\n\n \n Johnson, B.; and Kress-Gazit, H.\n\n\n \n\n\n\n Int. J. Robotics Res., 34(6): 816–832. 2015.\n \n\n\n\n
\n\n\n\n \n \n \"AnalyzingPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/ijrr/JohnsonK15,\n  author       = {Benjamin Johnson and\n                  Hadas Kress{-}Gazit},\n  title        = {Analyzing and revising synthesized controllers for robots with sensing\n                  and actuation errors},\n  journal      = {Int. J. Robotics Res.},\n  volume       = {34},\n  number       = {6},\n  pages        = {816--832},\n  year         = {2015},\n  url          = {https://doi.org/10.1177/0278364914562980},\n  doi          = {10.1177/0278364914562980},\n  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/ijrr/JohnsonK15.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control.\n \n \n \n \n\n\n \n Raman, V.; Piterman, N.; Finucane, C.; and Kress-Gazit, H.\n\n\n \n\n\n\n IEEE Trans. Robotics, 31(3): 591–604. 2015.\n \n\n\n\n
\n\n\n\n \n \n \"TimingPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/trob/RamanPFK15,\n  author       = {Vasumathi Raman and\n                  Nir Piterman and\n                  Cameron Finucane and\n                  Hadas Kress{-}Gazit},\n  title        = {Timing Semantics for Abstraction and Execution of Synthesized High-Level\n                  Robot Control},\n  journal      = {{IEEE} Trans. Robotics},\n  volume       = {31},\n  number       = {3},\n  pages        = {591--604},\n  year         = {2015},\n  url          = {https://doi.org/10.1109/TRO.2015.2414134},\n  doi          = {10.1109/TRO.2015.2414134},\n  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/trob/RamanPFK15.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Let's talk: Autonomous conflict resolution for robots carrying out individual high-level tasks in a shared workspace.\n \n \n \n \n\n\n \n Wong, K. W.; and Kress-Gazit, H.\n\n\n \n\n\n\n In IEEE International Conference on Robotics and Automation, ICRA 2015, Seattle, WA, USA, 26-30 May, 2015, pages 339–345, 2015. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"Let'sPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/icra/WongK15,\n  author       = {Kai Weng Wong and\n                  Hadas Kress{-}Gazit},\n  title        = {Let's talk: Autonomous conflict resolution for robots carrying out\n                  individual high-level tasks in a shared workspace},\n  booktitle    = {{IEEE} International Conference on Robotics and Automation, {ICRA}\n                  2015, Seattle, WA, USA, 26-30 May, 2015},\n  pages        = {339--345},\n  publisher    = {{IEEE}},\n  year         = {2015},\n  url          = {https://doi.org/10.1109/ICRA.2015.7139021},\n  doi          = {10.1109/ICRA.2015.7139021},\n  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},\n  biburl       = {https://dblp.org/rec/conf/icra/WongK15.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Dynamics-driven adaptive abstraction for reactive high-level mission and motion planning.\n \n \n \n \n\n\n \n DeCastro, J. A.; Raman, V.; and Kress-Gazit, H.\n\n\n \n\n\n\n In IEEE International Conference on Robotics and Automation, ICRA 2015, Seattle, WA, USA, 26-30 May, 2015, pages 369–376, 2015. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"Dynamics-drivenPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/icra/DeCastroRK15,\n  author       = {Jonathan A. DeCastro and\n                  Vasumathi Raman and\n                  Hadas Kress{-}Gazit},\n  title        = {Dynamics-driven adaptive abstraction for reactive high-level mission\n                  and motion planning},\n  booktitle    = {{IEEE} International Conference on Robotics and Automation, {ICRA}\n                  2015, Seattle, WA, USA, 26-30 May, 2015},\n  pages        = {369--376},\n  publisher    = {{IEEE}},\n  year         = {2015},\n  url          = {https://doi.org/10.1109/ICRA.2015.7139025},\n  doi          = {10.1109/ICRA.2015.7139025},\n  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/icra/DeCastroRK15.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Computer-Aided Compositional Design and Verification for Modular Robots.\n \n \n \n \n\n\n \n Tosun, T.; Jing, G.; Kress-Gazit, H.; and Yim, M.\n\n\n \n\n\n\n In Bicchi, A.; and Burgard, W., editor(s), Robotics Research, Proceedings of the 17th International Symposium of Robotics Research, ISRR 2015, Sestri Levante, Italy, September 12-15, 2015, Volume 1, volume 2, of Springer Proceedings in Advanced Robotics, pages 237–252, 2015. Springer\n \n\n\n\n
\n\n\n\n \n \n \"Computer-AidedPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/isrr/TosunJKY15,\n  author       = {Tarik Tosun and\n                  Gangyuan Jing and\n                  Hadas Kress{-}Gazit and\n                  Mark Yim},\n  editor       = {Antonio Bicchi and\n                  Wolfram Burgard},\n  title        = {Computer-Aided Compositional Design and Verification for Modular Robots},\n  booktitle    = {Robotics Research, Proceedings of the 17th International Symposium\n                  of Robotics Research, {ISRR} 2015, Sestri Levante, Italy, September\n                  12-15, 2015, Volume 1},\n  series       = {Springer Proceedings in Advanced Robotics},\n  volume       = {2},\n  pages        = {237--252},\n  publisher    = {Springer},\n  year         = {2015},\n  url          = {https://doi.org/10.1007/978-3-319-51532-8\\_15},\n  doi          = {10.1007/978-3-319-51532-8\\_15},\n  timestamp    = {Mon, 11 Dec 2017 19:15:27 +0100},\n  biburl       = {https://dblp.org/rec/conf/isrr/TosunJKY15.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Collision-Free Reactive Mission and Motion Planning for Multi-robot Systems.\n \n \n \n \n\n\n \n DeCastro, J. A.; Alonso-Mora, J.; Raman, V.; Rus, D.; and Kress-Gazit, H.\n\n\n \n\n\n\n In Bicchi, A.; and Burgard, W., editor(s), Robotics Research, Proceedings of the 17th International Symposium of Robotics Research, ISRR 2015, Sestri Levante, Italy, September 12-15, 2015, Volume 1, volume 2, of Springer Proceedings in Advanced Robotics, pages 459–476, 2015. Springer\n \n\n\n\n
\n\n\n\n \n \n \"Collision-FreePaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/isrr/DeCastroARRK15,\n  author       = {Jonathan A. DeCastro and\n                  Javier Alonso{-}Mora and\n                  Vasumathi Raman and\n                  Daniela Rus and\n                  Hadas Kress{-}Gazit},\n  editor       = {Antonio Bicchi and\n                  Wolfram Burgard},\n  title        = {Collision-Free Reactive Mission and Motion Planning for Multi-robot\n                  Systems},\n  booktitle    = {Robotics Research, Proceedings of the 17th International Symposium\n                  of Robotics Research, {ISRR} 2015, Sestri Levante, Italy, September\n                  12-15, 2015, Volume 1},\n  series       = {Springer Proceedings in Advanced Robotics},\n  volume       = {2},\n  pages        = {459--476},\n  publisher    = {Springer},\n  year         = {2015},\n  url          = {https://doi.org/10.1007/978-3-319-51532-8\\_28},\n  doi          = {10.1007/978-3-319-51532-8\\_28},\n  timestamp    = {Mon, 11 Dec 2017 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/isrr/DeCastroARRK15.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Robot Creation from Functional Specifications.\n \n \n \n \n\n\n \n Mehta, A. M.; DelPreto, J.; Wong, K. W.; Hamill, S.; Kress-Gazit, H.; and Rus, D.\n\n\n \n\n\n\n In Bicchi, A.; and Burgard, W., editor(s), Robotics Research, Proceedings of the 17th International Symposium of Robotics Research, ISRR 2015, Sestri Levante, Italy, September 12-15, 2015, Volume 2, volume 3, of Springer Proceedings in Advanced Robotics, pages 631–648, 2015. Springer\n \n\n\n\n
\n\n\n\n \n \n \"RobotPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/isrr/MehtaDWHKR15,\n  author       = {Ankur M. Mehta and\n                  Joseph DelPreto and\n                  Kai Weng Wong and\n                  Scott Hamill and\n                  Hadas Kress{-}Gazit and\n                  Daniela Rus},\n  editor       = {Antonio Bicchi and\n                  Wolfram Burgard},\n  title        = {Robot Creation from Functional Specifications},\n  booktitle    = {Robotics Research, Proceedings of the 17th International Symposium\n                  of Robotics Research, {ISRR} 2015, Sestri Levante, Italy, September\n                  12-15, 2015, Volume 2},\n  series       = {Springer Proceedings in Advanced Robotics},\n  volume       = {3},\n  pages        = {631--648},\n  publisher    = {Springer},\n  year         = {2015},\n  url          = {https://doi.org/10.1007/978-3-319-60916-4\\_36},\n  doi          = {10.1007/978-3-319-60916-4\\_36},\n  timestamp    = {Mon, 11 Dec 2017 19:15:27 +0100},\n  biburl       = {https://dblp.org/rec/conf/isrr/MehtaDWHKR15.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Syntax-Guided Synthesis.\n \n \n \n \n\n\n \n Alur, R.; Bodík, R.; Dallal, E.; Fisman, D.; Garg, P.; Juniwal, G.; Kress-Gazit, H.; Madhusudan, P.; Martin, M. M. K.; Raghothaman, M.; Saha, S.; Seshia, S. A.; Singh, R.; Solar-Lezama, A.; Torlak, E.; and Udupa, A.\n\n\n \n\n\n\n In Irlbeck, M.; Peled, D. A.; and Pretschner, A., editor(s), Dependable Software Systems Engineering, volume 40, of NATO Science for Peace and Security Series, D: Information and Communication Security, pages 1–25. IOS Press, 2015.\n \n\n\n\n
\n\n\n\n \n \n \"Syntax-GuidedPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@incollection{DBLP:series/natosec/AlurBDF0JKMMRSSSSTU15,\n  author       = {Rajeev Alur and\n                  Rastislav Bod{\\'{\\i}}k and\n                  Eric Dallal and\n                  Dana Fisman and\n                  Pranav Garg and\n                  Garvit Juniwal and\n                  Hadas Kress{-}Gazit and\n                  P. Madhusudan and\n                  Milo M. K. Martin and\n                  Mukund Raghothaman and\n                  Shambwaditya Saha and\n                  Sanjit A. Seshia and\n                  Rishabh Singh and\n                  Armando Solar{-}Lezama and\n                  Emina Torlak and\n                  Abhishek Udupa},\n  editor       = {Maximilian Irlbeck and\n                  Doron A. Peled and\n                  Alexander Pretschner},\n  title        = {Syntax-Guided Synthesis},\n  booktitle    = {Dependable Software Systems Engineering},\n  series       = {{NATO} Science for Peace and Security Series, {D:} Information and\n                  Communication Security},\n  volume       = {40},\n  pages        = {1--25},\n  publisher    = {{IOS} Press},\n  year         = {2015},\n  url          = {https://doi.org/10.3233/978-1-61499-495-4-1},\n  doi          = {10.3233/978-1-61499-495-4-1},\n  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/series/natosec/AlurBDF0JKMMRSSSSTU15.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2014\n \n \n (6)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Synthesis for multi-robot controllers with interleaved motion.\n \n \n \n \n\n\n \n Raman, V.; and Kress-Gazit, H.\n\n\n \n\n\n\n In 2014 IEEE International Conference on Robotics and Automation, ICRA 2014, Hong Kong, China, May 31 - June 7, 2014, pages 4316–4321, 2014. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"SynthesisPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/icra/RamanK14,\n  author       = {Vasumathi Raman and\n                  Hadas Kress{-}Gazit},\n  title        = {Synthesis for multi-robot controllers with interleaved motion},\n  booktitle    = {2014 {IEEE} International Conference on Robotics and Automation, {ICRA}\n                  2014, Hong Kong, China, May 31 - June 7, 2014},\n  pages        = {4316--4321},\n  publisher    = {{IEEE}},\n  year         = {2014},\n  url          = {https://doi.org/10.1109/ICRA.2014.6907487},\n  doi          = {10.1109/ICRA.2014.6907487},\n  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},\n  biburl       = {https://dblp.org/rec/conf/icra/RamanK14.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Open-world mission specification for reactive robots.\n \n \n \n \n\n\n \n Maniatopoulos, S.; Blair, M.; Finucane, C.; and Kress-Gazit, H.\n\n\n \n\n\n\n In 2014 IEEE International Conference on Robotics and Automation, ICRA 2014, Hong Kong, China, May 31 - June 7, 2014, pages 4328–4334, 2014. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"Open-worldPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/icra/ManiatopoulosBFK14,\n  author       = {Spyros Maniatopoulos and\n                  Matthew Blair and\n                  Cameron Finucane and\n                  Hadas Kress{-}Gazit},\n  title        = {Open-world mission specification for reactive robots},\n  booktitle    = {2014 {IEEE} International Conference on Robotics and Automation, {ICRA}\n                  2014, Hong Kong, China, May 31 - June 7, 2014},\n  pages        = {4328--4334},\n  publisher    = {{IEEE}},\n  year         = {2014},\n  url          = {https://doi.org/10.1109/ICRA.2014.6907489},\n  doi          = {10.1109/ICRA.2014.6907489},\n  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/icra/ManiatopoulosBFK14.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Correct High-level Robot Behavior in Environments with Unexpected Events.\n \n \n \n \n\n\n \n Wong, K. W.; Ehlers, R.; and Kress-Gazit, H.\n\n\n \n\n\n\n In Fox, D.; Kavraki, L. E.; and Kurniawati, H., editor(s), Robotics: Science and Systems X, University of California, Berkeley, USA, July 12-16, 2014, 2014. \n \n\n\n\n
\n\n\n\n \n \n \"CorrectPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/rss/WongEK14,\n  author       = {Kai Weng Wong and\n                  R{\\"{u}}diger Ehlers and\n                  Hadas Kress{-}Gazit},\n  editor       = {Dieter Fox and\n                  Lydia E. Kavraki and\n                  Hanna Kurniawati},\n  title        = {Correct High-level Robot Behavior in Environments with Unexpected\n                  Events},\n  booktitle    = {Robotics: Science and Systems X, University of California, Berkeley,\n                  USA, July 12-16, 2014},\n  year         = {2014},\n  url          = {http://www.roboticsproceedings.org/rss10/p12.html},\n  doi          = {10.15607/RSS.2014.X.012},\n  timestamp    = {Fri, 29 Jan 2021 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/rss/WongEK14.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Synthesis with Identifiers.\n \n \n \n \n\n\n \n Ehlers, R.; Seshia, S. A.; and Kress-Gazit, H.\n\n\n \n\n\n\n In McMillan, K. L.; and Rival, X., editor(s), Verification, Model Checking, and Abstract Interpretation - 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings, volume 8318, of Lecture Notes in Computer Science, pages 415–433, 2014. Springer\n \n\n\n\n
\n\n\n\n \n \n \"SynthesisPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/vmcai/EhlersSK14,\n  author       = {R{\\"{u}}diger Ehlers and\n                  Sanjit A. Seshia and\n                  Hadas Kress{-}Gazit},\n  editor       = {Kenneth L. McMillan and\n                  Xavier Rival},\n  title        = {Synthesis with Identifiers},\n  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 15th International\n                  Conference, {VMCAI} 2014, San Diego, CA, USA, January 19-21, 2014,\n                  Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {8318},\n  pages        = {415--433},\n  publisher    = {Springer},\n  year         = {2014},\n  url          = {https://doi.org/10.1007/978-3-642-54013-4\\_23},\n  doi          = {10.1007/978-3-642-54013-4\\_23},\n  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},\n  biburl       = {https://dblp.org/rec/conf/vmcai/EhlersSK14.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Unsynthesizable Cores - Minimal Explanations for Unsynthesizable High-Level Robot Behaviors.\n \n \n \n \n\n\n \n Raman, V.; and Kress-Gazit, H.\n\n\n \n\n\n\n CoRR, abs/1409.1455. 2014.\n \n\n\n\n
\n\n\n\n \n \n \"UnsynthesizablePaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/corr/RamanK14,\n  author       = {Vasumathi Raman and\n                  Hadas Kress{-}Gazit},\n  title        = {Unsynthesizable Cores - Minimal Explanations for Unsynthesizable High-Level\n                  Robot Behaviors},\n  journal      = {CoRR},\n  volume       = {abs/1409.1455},\n  year         = {2014},\n  url          = {http://arxiv.org/abs/1409.1455},\n  eprinttype    = {arXiv},\n  eprint       = {1409.1455},\n  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/corr/RamanK14.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Dynamics-Based Reactive Synthesis and Automated Revisions for High-Level Robot Control.\n \n \n \n \n\n\n \n DeCastro, J. A.; Ehlers, R.; Rungger, M.; Balkan, A.; Tabuada, P.; and Kress-Gazit, H.\n\n\n \n\n\n\n CoRR, abs/1410.6375. 2014.\n \n\n\n\n
\n\n\n\n \n \n \"Dynamics-BasedPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/corr/DeCastroERBTK14,\n  author       = {Jonathan A. DeCastro and\n                  R{\\"{u}}diger Ehlers and\n                  Matthias Rungger and\n                  Ayca Balkan and\n                  Paulo Tabuada and\n                  Hadas Kress{-}Gazit},\n  title        = {Dynamics-Based Reactive Synthesis and Automated Revisions for High-Level\n                  Robot Control},\n  journal      = {CoRR},\n  volume       = {abs/1410.6375},\n  year         = {2014},\n  url          = {http://arxiv.org/abs/1410.6375},\n  eprinttype    = {arXiv},\n  eprint       = {1410.6375},\n  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/corr/DeCastroERBTK14.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2013\n \n \n (10)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Explaining Impossible High-Level Robot Behaviors.\n \n \n \n \n\n\n \n Raman, V.; and Kress-Gazit, H.\n\n\n \n\n\n\n IEEE Trans. Robotics, 29(1): 94–104. 2013.\n \n\n\n\n
\n\n\n\n \n \n \"ExplainingPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/trob/RamanK13,\n  author       = {Vasumathi Raman and\n                  Hadas Kress{-}Gazit},\n  title        = {Explaining Impossible High-Level Robot Behaviors},\n  journal      = {{IEEE} Trans. Robotics},\n  volume       = {29},\n  number       = {1},\n  pages        = {94--104},\n  year         = {2013},\n  url          = {https://doi.org/10.1109/TRO.2012.2214558},\n  doi          = {10.1109/TRO.2012.2214558},\n  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/trob/RamanK13.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Iterative temporal motion planning for hybrid systems in partially unknown environments.\n \n \n \n \n\n\n \n Maly, M. R.; Lahijanian, M.; Kavraki, L. E.; Kress-Gazit, H.; and Vardi, M. Y.\n\n\n \n\n\n\n In Belta, C.; and Ivancic, F., editor(s), Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA, pages 353–362, 2013. ACM\n \n\n\n\n
\n\n\n\n \n \n \"IterativePaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/hybrid/MalyLKKV13,\n  author       = {Matthew R. Maly and\n                  Morteza Lahijanian and\n                  Lydia E. Kavraki and\n                  Hadas Kress{-}Gazit and\n                  Moshe Y. Vardi},\n  editor       = {Calin Belta and\n                  Franjo Ivancic},\n  title        = {Iterative temporal motion planning for hybrid systems in partially\n                  unknown environments},\n  booktitle    = {Proceedings of the 16th international conference on Hybrid systems:\n                  computation and control, {HSCC} 2013, April 8-11, 2013, Philadelphia,\n                  PA, {USA}},\n  pages        = {353--362},\n  publisher    = {{ACM}},\n  year         = {2013},\n  url          = {https://doi.org/10.1145/2461328.2461380},\n  doi          = {10.1145/2461328.2461380},\n  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/hybrid/MalyLKKV13.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Provably correct continuous control for high-level robot behaviors with actions of arbitrary execution durations.\n \n \n \n \n\n\n \n Raman, V.; Piterman, N.; and Kress-Gazit, H.\n\n\n \n\n\n\n In 2013 IEEE International Conference on Robotics and Automation, Karlsruhe, Germany, May 6-10, 2013, pages 4075–4081, 2013. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"ProvablyPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/icra/RamanPK13,\n  author       = {Vasumathi Raman and\n                  Nir Piterman and\n                  Hadas Kress{-}Gazit},\n  title        = {Provably correct continuous control for high-level robot behaviors\n                  with actions of arbitrary execution durations},\n  booktitle    = {2013 {IEEE} International Conference on Robotics and Automation, Karlsruhe,\n                  Germany, May 6-10, 2013},\n  pages        = {4075--4081},\n  publisher    = {{IEEE}},\n  year         = {2013},\n  url          = {https://doi.org/10.1109/ICRA.2013.6631152},\n  doi          = {10.1109/ICRA.2013.6631152},\n  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},\n  biburl       = {https://dblp.org/rec/conf/icra/RamanPK13.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Improving the continuous execution of reactive LTL-based controllers.\n \n \n \n \n\n\n \n Jing, G.; and Kress-Gazit, H.\n\n\n \n\n\n\n In 2013 IEEE International Conference on Robotics and Automation, Karlsruhe, Germany, May 6-10, 2013, pages 5439–5445, 2013. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"ImprovingPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/icra/JingK13,\n  author       = {Gangyuan Jing and\n                  Hadas Kress{-}Gazit},\n  title        = {Improving the continuous execution of reactive LTL-based controllers},\n  booktitle    = {2013 {IEEE} International Conference on Robotics and Automation, Karlsruhe,\n                  Germany, May 6-10, 2013},\n  pages        = {5439--5445},\n  publisher    = {{IEEE}},\n  year         = {2013},\n  url          = {https://doi.org/10.1109/ICRA.2013.6631357},\n  doi          = {10.1109/ICRA.2013.6631357},\n  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/icra/JingK13.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Analyzing and revising high-level robot behaviors under actuator error.\n \n \n \n \n\n\n \n Johnson, B.; and Kress-Gazit, H.\n\n\n \n\n\n\n In 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2013, Tokyo, Japan, November 3-7, 2013, pages 741–748, 2013. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"AnalyzingPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/iros/JohnsonK13,\n  author       = {Benjamin Johnson and\n                  Hadas Kress{-}Gazit},\n  title        = {Analyzing and revising high-level robot behaviors under actuator error},\n  booktitle    = {2013 {IEEE/RSJ} International Conference on Intelligent Robots and\n                  Systems, {IROS} 2013, Tokyo, Japan, November 3-7, 2013},\n  pages        = {741--748},\n  publisher    = {{IEEE}},\n  year         = {2013},\n  url          = {https://doi.org/10.1109/IROS.2013.6696434},\n  doi          = {10.1109/IROS.2013.6696434},\n  timestamp    = {Tue, 05 Sep 2023 15:06:24 +0200},\n  biburl       = {https://dblp.org/rec/conf/iros/JohnsonK13.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Guaranteeing reactive high-level behaviors for robots with complex dynamics.\n \n \n \n \n\n\n \n DeCastro, J. A.; and Kress-Gazit, H.\n\n\n \n\n\n\n In 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2013, Tokyo, Japan, November 3-7, 2013, pages 749–756, 2013. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"GuaranteeingPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/iros/DeCastroK13,\n  author       = {Jonathan A. DeCastro and\n                  Hadas Kress{-}Gazit},\n  title        = {Guaranteeing reactive high-level behaviors for robots with complex\n                  dynamics},\n  booktitle    = {2013 {IEEE/RSJ} International Conference on Intelligent Robots and\n                  Systems, {IROS} 2013, Tokyo, Japan, November 3-7, 2013},\n  pages        = {749--756},\n  publisher    = {{IEEE}},\n  year         = {2013},\n  url          = {https://doi.org/10.1109/IROS.2013.6696435},\n  doi          = {10.1109/IROS.2013.6696435},\n  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/iros/DeCastroK13.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Towards minimal explanations of unsynthesizability for high-level robot behaviors.\n \n \n \n \n\n\n \n Raman, V.; and Kress-Gazit, H.\n\n\n \n\n\n\n In 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2013, Tokyo, Japan, November 3-7, 2013, pages 757–762, 2013. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"TowardsPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/iros/RamanK13,\n  author       = {Vasumathi Raman and\n                  Hadas Kress{-}Gazit},\n  title        = {Towards minimal explanations of unsynthesizability for high-level\n                  robot behaviors},\n  booktitle    = {2013 {IEEE/RSJ} International Conference on Intelligent Robots and\n                  Systems, {IROS} 2013, Tokyo, Japan, November 3-7, 2013},\n  pages        = {757--762},\n  publisher    = {{IEEE}},\n  year         = {2013},\n  url          = {https://doi.org/10.1109/IROS.2013.6696436},\n  doi          = {10.1109/IROS.2013.6696436},\n  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/iros/RamanK13.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Provably-correct robot control with LTLMoP, OMPL and ROS.\n \n \n \n \n\n\n \n Wong, K. W.; Finucane, C.; and Kress-Gazit, H.\n\n\n \n\n\n\n In 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2013, Tokyo, Japan, November 3-7, 2013, pages 2073, 2013. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"Provably-correctPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/iros/WongFK13,\n  author       = {Kai Weng Wong and\n                  Cameron Finucane and\n                  Hadas Kress{-}Gazit},\n  title        = {Provably-correct robot control with LTLMoP, {OMPL} and {ROS}},\n  booktitle    = {2013 {IEEE/RSJ} International Conference on Intelligent Robots and\n                  Systems, {IROS} 2013, Tokyo, Japan, November 3-7, 2013},\n  pages        = {2073},\n  publisher    = {{IEEE}},\n  year         = {2013},\n  url          = {https://doi.org/10.1109/IROS.2013.6696636},\n  doi          = {10.1109/IROS.2013.6696636},\n  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/iros/WongFK13.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Shortcut through an evil door: Optimality of correct-by-construction controllers in adversarial environments.\n \n \n \n \n\n\n \n Jing, G.; Ehlers, R.; and Kress-Gazit, H.\n\n\n \n\n\n\n In 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2013, Tokyo, Japan, November 3-7, 2013, pages 4796–4802, 2013. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"ShortcutPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/iros/JingEK13,\n  author       = {Gangyuan Jing and\n                  R{\\"{u}}diger Ehlers and\n                  Hadas Kress{-}Gazit},\n  title        = {Shortcut through an evil door: Optimality of correct-by-construction\n                  controllers in adversarial environments},\n  booktitle    = {2013 {IEEE/RSJ} International Conference on Intelligent Robots and\n                  Systems, {IROS} 2013, Tokyo, Japan, November 3-7, 2013},\n  pages        = {4796--4802},\n  publisher    = {{IEEE}},\n  year         = {2013},\n  url          = {https://doi.org/10.1109/IROS.2013.6697048},\n  doi          = {10.1109/IROS.2013.6697048},\n  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/iros/JingEK13.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Sorry Dave, I'm Afraid I Can't Do That: Explaining Unachievable Robot Tasks Using Natural Language.\n \n \n \n \n\n\n \n Raman, V.; Lignos, C.; Finucane, C.; Lee, K. C. T.; Marcus, M. P.; and Kress-Gazit, H.\n\n\n \n\n\n\n In Newman, P.; Fox, D.; and Hsu, D., editor(s), Robotics: Science and Systems IX, Technische Universität Berlin, Berlin, Germany, June 24 - June 28, 2013, 2013. \n \n\n\n\n
\n\n\n\n \n \n \"SorryPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/rss/RamanLFLMK13,\n  author       = {Vasumathi Raman and\n                  Constantine Lignos and\n                  Cameron Finucane and\n                  Kenton C. T. Lee and\n                  Mitchell P. Marcus and\n                  Hadas Kress{-}Gazit},\n  editor       = {Paul Newman and\n                  Dieter Fox and\n                  David Hsu},\n  title        = {Sorry Dave, I'm Afraid {I} Can't Do That: Explaining Unachievable\n                  Robot Tasks Using Natural Language},\n  booktitle    = {Robotics: Science and Systems IX, Technische Universit{\\"{a}}t Berlin,\n                  Berlin, Germany, June 24 - June 28, 2013},\n  year         = {2013},\n  url          = {http://www.roboticsproceedings.org/rss09/p23.html},\n  doi          = {10.15607/RSS.2013.IX.023},\n  timestamp    = {Fri, 29 Jan 2021 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/rss/RamanLFLMK13.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2012\n \n \n (8)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Probabilistic guarantees for high-level robot behavior in the presence of sensor error.\n \n \n \n \n\n\n \n Johnson, B.; and Kress-Gazit, H.\n\n\n \n\n\n\n Auton. Robots, 33(3): 309–321. 2012.\n \n\n\n\n
\n\n\n\n \n \n \"ProbabilisticPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/arobots/JohnsonK12,\n  author       = {Benjamin Johnson and\n                  Hadas Kress{-}Gazit},\n  title        = {Probabilistic guarantees for high-level robot behavior in the presence\n                  of sensor error},\n  journal      = {Auton. Robots},\n  volume       = {33},\n  number       = {3},\n  pages        = {309--321},\n  year         = {2012},\n  url          = {https://doi.org/10.1007/s10514-012-9301-4},\n  doi          = {10.1007/S10514-012-9301-4},\n  timestamp    = {Mon, 18 Feb 2019 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/arobots/JohnsonK12.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Situation understanding bot through language and environment.\n \n \n \n \n\n\n \n Brooks, D. J.; Lignos, C.; Medvedev, M. S.; Perera, I.; Finucane, C.; Raman, V.; Shultz, A.; McSheehy, S.; Norton, A.; Kress-Gazit, H.; Marcus, M. P.; and Yanco, H. A.\n\n\n \n\n\n\n In Yanco, H. A.; Steinfeld, A.; Evers, V.; and Jenkins, O. C., editor(s), International Conference on Human-Robot Interaction, HRI'12, Boston, MA, USA - March 05 - 08, 2012, pages 419–420, 2012. ACM\n \n\n\n\n
\n\n\n\n \n \n \"SituationPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/hri/BrooksLMPFRSMNKMY12,\n  author       = {Daniel J. Brooks and\n                  Constantine Lignos and\n                  Mikhail S. Medvedev and\n                  Ian Perera and\n                  Cameron Finucane and\n                  Vasumathi Raman and\n                  Abraham Shultz and\n                  Sean McSheehy and\n                  Adam Norton and\n                  Hadas Kress{-}Gazit and\n                  Mitchell P. Marcus and\n                  Holly A. Yanco},\n  editor       = {Holly A. Yanco and\n                  Aaron Steinfeld and\n                  Vanessa Evers and\n                  Odest Chadwicke Jenkins},\n  title        = {Situation understanding bot through language and environment},\n  booktitle    = {International Conference on Human-Robot Interaction, HRI'12, Boston,\n                  MA, {USA} - March 05 - 08, 2012},\n  pages        = {419--420},\n  publisher    = {{ACM}},\n  year         = {2012},\n  url          = {https://doi.org/10.1145/2157689.2157827},\n  doi          = {10.1145/2157689.2157827},\n  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/hri/BrooksLMPFRSMNKMY12.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Execution and analysis of high-level tasks with dynamic obstacle anticipation.\n \n \n \n \n\n\n \n Johnson, B.; Havlak, F.; Campbell, M. E.; and Kress-Gazit, H.\n\n\n \n\n\n\n In IEEE International Conference on Robotics and Automation, ICRA 2012, 14-18 May, 2012, St. Paul, Minnesota, USA, pages 330–337, 2012. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"ExecutionPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/icra/JohnsonHCK12,\n  author       = {Benjamin Johnson and\n                  Frank Havlak and\n                  Mark E. Campbell and\n                  Hadas Kress{-}Gazit},\n  title        = {Execution and analysis of high-level tasks with dynamic obstacle anticipation},\n  booktitle    = {{IEEE} International Conference on Robotics and Automation, {ICRA}\n                  2012, 14-18 May, 2012, St. Paul, Minnesota, {USA}},\n  pages        = {330--337},\n  publisher    = {{IEEE}},\n  year         = {2012},\n  url          = {https://doi.org/10.1109/ICRA.2012.6224980},\n  doi          = {10.1109/ICRA.2012.6224980},\n  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},\n  biburl       = {https://dblp.org/rec/conf/icra/JohnsonHCK12.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Correct high-level robot control from structured English.\n \n \n \n \n\n\n \n Jing, G.; Finucane, C.; Raman, V.; and Kress-Gazit, H.\n\n\n \n\n\n\n In IEEE International Conference on Robotics and Automation, ICRA 2012, 14-18 May, 2012, St. Paul, Minnesota, USA, pages 3543–3544, 2012. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"CorrectPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/icra/JingFRK12,\n  author       = {Gangyuan Jing and\n                  Cameron Finucane and\n                  Vasumathi Raman and\n                  Hadas Kress{-}Gazit},\n  title        = {Correct high-level robot control from structured English},\n  booktitle    = {{IEEE} International Conference on Robotics and Automation, {ICRA}\n                  2012, 14-18 May, 2012, St. Paul, Minnesota, {USA}},\n  pages        = {3543--3544},\n  publisher    = {{IEEE}},\n  year         = {2012},\n  url          = {https://doi.org/10.1109/ICRA.2012.6225161},\n  doi          = {10.1109/ICRA.2012.6225161},\n  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/icra/JingFRK12.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Automated feedback for unachievable high-level robot behaviors.\n \n \n \n \n\n\n \n Raman, V.; and Kress-Gazit, H.\n\n\n \n\n\n\n In IEEE International Conference on Robotics and Automation, ICRA 2012, 14-18 May, 2012, St. Paul, Minnesota, USA, pages 5156–5162, 2012. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"AutomatedPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/icra/RamanK12,\n  author       = {Vasumathi Raman and\n                  Hadas Kress{-}Gazit},\n  title        = {Automated feedback for unachievable high-level robot behaviors},\n  booktitle    = {{IEEE} International Conference on Robotics and Automation, {ICRA}\n                  2012, 14-18 May, 2012, St. Paul, Minnesota, {USA}},\n  pages        = {5156--5162},\n  publisher    = {{IEEE}},\n  year         = {2012},\n  url          = {https://doi.org/10.1109/ICRA.2012.6224807},\n  doi          = {10.1109/ICRA.2012.6224807},\n  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/icra/RamanK12.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Temporal logic robot mission planning for slow and fast actions.\n \n \n \n \n\n\n \n Raman, V.; Finucane, C.; and Kress-Gazit, H.\n\n\n \n\n\n\n In 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2012, Vilamoura, Algarve, Portugal, October 7-12, 2012, pages 251–256, 2012. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"TemporalPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/iros/RamanFK12,\n  author       = {Vasumathi Raman and\n                  Cameron Finucane and\n                  Hadas Kress{-}Gazit},\n  title        = {Temporal logic robot mission planning for slow and fast actions},\n  booktitle    = {2012 {IEEE/RSJ} International Conference on Intelligent Robots and\n                  Systems, {IROS} 2012, Vilamoura, Algarve, Portugal, October 7-12,\n                  2012},\n  pages        = {251--256},\n  publisher    = {{IEEE}},\n  year         = {2012},\n  url          = {https://doi.org/10.1109/IROS.2012.6385935},\n  doi          = {10.1109/IROS.2012.6385935},\n  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},\n  biburl       = {https://dblp.org/rec/conf/iros/RamanFK12.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Avoiding forgetfulness: Structured English specifications for high-level robot control with implicit memory.\n \n \n \n \n\n\n \n Raman, V.; Xu, B.; and Kress-Gazit, H.\n\n\n \n\n\n\n In 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2012, Vilamoura, Algarve, Portugal, October 7-12, 2012, pages 1233–1238, 2012. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"AvoidingPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/iros/RamanXK12,\n  author       = {Vasumathi Raman and\n                  Bingxin Xu and\n                  Hadas Kress{-}Gazit},\n  title        = {Avoiding forgetfulness: Structured English specifications for high-level\n                  robot control with implicit memory},\n  booktitle    = {2012 {IEEE/RSJ} International Conference on Intelligent Robots and\n                  Systems, {IROS} 2012, Vilamoura, Algarve, Portugal, October 7-12,\n                  2012},\n  pages        = {1233--1238},\n  publisher    = {{IEEE}},\n  year         = {2012},\n  url          = {https://doi.org/10.1109/IROS.2012.6386028},\n  doi          = {10.1109/IROS.2012.6386028},\n  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/iros/RamanXK12.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Guaranteeing High-Level Behaviors while Exploring Partially Known Maps.\n \n \n \n \n\n\n \n Sarid, S.; Xu, B.; and Kress-Gazit, H.\n\n\n \n\n\n\n In Roy, N.; Newman, P.; and Srinivasa, S. S., editor(s), Robotics: Science and Systems VIII, University of Sydney, Sydney, NSW, Australia, July 9-13, 2012, 2012. \n \n\n\n\n
\n\n\n\n \n \n \"GuaranteeingPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/rss/SaridXK12,\n  author       = {Shahar Sarid and\n                  Bingxin Xu and\n                  Hadas Kress{-}Gazit},\n  editor       = {Nicholas Roy and\n                  Paul Newman and\n                  Siddhartha S. Srinivasa},\n  title        = {Guaranteeing High-Level Behaviors while Exploring Partially Known\n                  Maps},\n  booktitle    = {Robotics: Science and Systems VIII, University of Sydney, Sydney,\n                  NSW, Australia, July 9-13, 2012},\n  year         = {2012},\n  url          = {http://www.roboticsproceedings.org/rss08/p48.html},\n  doi          = {10.15607/RSS.2012.VIII.048},\n  timestamp    = {Fri, 29 Jan 2021 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/rss/SaridXK12.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2011\n \n \n (7)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Robot challenges: Toward development of verification and synthesis techniques [from the Guest Editors].\n \n \n \n \n\n\n \n Kress-Gazit, H.\n\n\n \n\n\n\n IEEE Robotics Autom. Mag., 18(3): 22–23. 2011.\n \n\n\n\n
\n\n\n\n \n \n \"RobotPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/ram/Kress-Gazit11a,\n  author       = {Hadas Kress{-}Gazit},\n  title        = {Robot challenges: Toward development of verification and synthesis\n                  techniques [from the Guest Editors]},\n  journal      = {{IEEE} Robotics Autom. Mag.},\n  volume       = {18},\n  number       = {3},\n  pages        = {22--23},\n  year         = {2011},\n  url          = {https://doi.org/10.1109/MRA.2011.942486},\n  doi          = {10.1109/MRA.2011.942486},\n  timestamp    = {Sat, 14 Jan 2023 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/ram/Kress-Gazit11a.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Correct, Reactive, High-Level Robot Control.\n \n \n \n \n\n\n \n Kress-Gazit, H.; Wongpiromsarn, T.; and Topcu, U.\n\n\n \n\n\n\n IEEE Robotics Autom. Mag., 18(3): 65–74. 2011.\n \n\n\n\n
\n\n\n\n \n \n \"Correct,Paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/ram/Kress-GazitWT11,\n  author       = {Hadas Kress{-}Gazit and\n                  Tichakorn Wongpiromsarn and\n                  Ufuk Topcu},\n  title        = {Correct, Reactive, High-Level Robot Control},\n  journal      = {{IEEE} Robotics Autom. Mag.},\n  volume       = {18},\n  number       = {3},\n  pages        = {65--74},\n  year         = {2011},\n  url          = {https://doi.org/10.1109/MRA.2011.942116},\n  doi          = {10.1109/MRA.2011.942116},\n  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/ram/Kress-GazitWT11.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Robot Challenges: Toward Development of Verication and Synthesis Techniques [Errata].\n \n \n \n \n\n\n \n Kress-Gazit, H.\n\n\n \n\n\n\n IEEE Robotics Autom. Mag., 18(4): 108–109. 2011.\n \n\n\n\n
\n\n\n\n \n \n \"RobotPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/ram/Kress-Gazit11,\n  author       = {Hadas Kress{-}Gazit},\n  title        = {Robot Challenges: Toward Development of Verication and Synthesis Techniques\n                  [Errata]},\n  journal      = {{IEEE} Robotics Autom. Mag.},\n  volume       = {18},\n  number       = {4},\n  pages        = {108--109},\n  year         = {2011},\n  url          = {https://doi.org/10.1109/MRA.2011.943479},\n  doi          = {10.1109/MRA.2011.943479},\n  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/ram/Kress-Gazit11.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Designing Reactive Robot Controllers with LTLMoP.\n \n \n \n \n\n\n \n Finucane, C.; Jing, G.; and Kress-Gazit, H.\n\n\n \n\n\n\n In Automated Action Planning for Autonomous Mobile Robots, Papers from the 2011 AAAI Workshop, San Francisco, California, USA, August 7, 2011, volume WS-11-09, of AAAI Technical Report, 2011. AAAI\n \n\n\n\n
\n\n\n\n \n \n \"DesigningPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/aaai/FinucaneJK11,\n  author       = {Cameron Finucane and\n                  Gangyuan Jing and\n                  Hadas Kress{-}Gazit},\n  title        = {Designing Reactive Robot Controllers with LTLMoP},\n  booktitle    = {Automated Action Planning for Autonomous Mobile Robots, Papers from\n                  the 2011 {AAAI} Workshop, San Francisco, California, USA, August 7,\n                  2011},\n  series       = {{AAAI} Technical Report},\n  volume       = {{WS-11-09}},\n  publisher    = {{AAAI}},\n  year         = {2011},\n  url          = {http://www.aaai.org/ocs/index.php/WS/AAAIW11/paper/view/3982},\n  timestamp    = {Tue, 05 Sep 2023 08:59:27 +0200},\n  biburl       = {https://dblp.org/rec/conf/aaai/FinucaneJK11.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Analyzing Unsynthesizable Specifications for High-Level Robot Behavior Using LTLMoP.\n \n \n \n \n\n\n \n Raman, V.; and Kress-Gazit, H.\n\n\n \n\n\n\n In Gopalakrishnan, G.; and Qadeer, S., editor(s), Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings, volume 6806, of Lecture Notes in Computer Science, pages 663–668, 2011. Springer\n \n\n\n\n
\n\n\n\n \n \n \"AnalyzingPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/cav/RamanK11,\n  author       = {Vasumathi Raman and\n                  Hadas Kress{-}Gazit},\n  editor       = {Ganesh Gopalakrishnan and\n                  Shaz Qadeer},\n  title        = {Analyzing Unsynthesizable Specifications for High-Level Robot Behavior\n                  Using LTLMoP},\n  booktitle    = {Computer Aided Verification - 23rd International Conference, {CAV}\n                  2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {6806},\n  pages        = {663--668},\n  publisher    = {Springer},\n  year         = {2011},\n  url          = {https://doi.org/10.1007/978-3-642-22110-1\\_54},\n  doi          = {10.1007/978-3-642-22110-1\\_54},\n  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},\n  biburl       = {https://dblp.org/rec/conf/cav/RamanK11.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n High-level control of modular robots.\n \n \n \n \n\n\n \n Castro, S.; Koehler, S. M.; and Kress-Gazit, H.\n\n\n \n\n\n\n In 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2011, San Francisco, CA, USA, September 25-30, 2011, pages 3120–3125, 2011. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"High-levelPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/iros/CastroKK11,\n  author       = {Sebastian Castro and\n                  Sarah Muraoka Koehler and\n                  Hadas Kress{-}Gazit},\n  title        = {High-level control of modular robots},\n  booktitle    = {2011 {IEEE/RSJ} International Conference on Intelligent Robots and\n                  Systems, {IROS} 2011, San Francisco, CA, USA, September 25-30, 2011},\n  pages        = {3120--3125},\n  publisher    = {{IEEE}},\n  year         = {2011},\n  url          = {https://doi.org/10.1109/IROS.2011.6094955},\n  doi          = {10.1109/IROS.2011.6094955},\n  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},\n  biburl       = {https://dblp.org/rec/conf/iros/CastroKK11.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Probabilistic Analysis of Correctness of High-Level Robot Behavior with Sensor Error.\n \n \n \n \n\n\n \n Johnson, B.; and Kress-Gazit, H.\n\n\n \n\n\n\n In Durrant-Whyte, H. F.; Roy, N.; and Abbeel, P., editor(s), Robotics: Science and Systems VII, University of Southern California, Los Angeles, CA, USA, June 27-30, 2011, 2011. \n \n\n\n\n
\n\n\n\n \n \n \"ProbabilisticPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/rss/JohnsonK11,\n  author       = {Benjamin Johnson and\n                  Hadas Kress{-}Gazit},\n  editor       = {Hugh F. Durrant{-}Whyte and\n                  Nicholas Roy and\n                  Pieter Abbeel},\n  title        = {Probabilistic Analysis of Correctness of High-Level Robot Behavior\n                  with Sensor Error},\n  booktitle    = {Robotics: Science and Systems VII, University of Southern California,\n                  Los Angeles, CA, USA, June 27-30, 2011},\n  year         = {2011},\n  url          = {http://www.roboticsproceedings.org/rss07/p20.html},\n  doi          = {10.15607/RSS.2011.VII.020},\n  timestamp    = {Fri, 29 Jan 2021 22:08:10 +0100},\n  biburl       = {https://dblp.org/rec/conf/rss/JohnsonK11.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2010\n \n \n (3)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Automatic synthesis of robot controllers for tasks with locative prepositions.\n \n \n \n \n\n\n \n Kress-Gazit, H.; and Pappas, G. J.\n\n\n \n\n\n\n In IEEE International Conference on Robotics and Automation, ICRA 2010, Anchorage, Alaska, USA, 3-7 May 2010, pages 3215–3220, 2010. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"AutomaticPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/icra/Kress-GazitP10,\n  author       = {Hadas Kress{-}Gazit and\n                  George J. Pappas},\n  title        = {Automatic synthesis of robot controllers for tasks with locative prepositions},\n  booktitle    = {{IEEE} International Conference on Robotics and Automation, {ICRA}\n                  2010, Anchorage, Alaska, USA, 3-7 May 2010},\n  pages        = {3215--3220},\n  publisher    = {{IEEE}},\n  year         = {2010},\n  url          = {https://doi.org/10.1109/ROBOT.2010.5509402},\n  doi          = {10.1109/ROBOT.2010.5509402},\n  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/icra/Kress-GazitP10.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n LTLMoP: Experimenting with language, Temporal Logic and robot control.\n \n \n \n \n\n\n \n Finucane, C.; Jing, G.; and Kress-Gazit, H.\n\n\n \n\n\n\n In 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 18-22, 2010, Taipei, Taiwan, pages 1988–1993, 2010. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"LTLMoP:Paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/iros/FinucaneJK10,\n  author       = {Cameron Finucane and\n                  Gangyuan Jing and\n                  Hadas Kress{-}Gazit},\n  title        = {LTLMoP: Experimenting with language, Temporal Logic and robot control},\n  booktitle    = {2010 {IEEE/RSJ} International Conference on Intelligent Robots and\n                  Systems, October 18-22, 2010, Taipei, Taiwan},\n  pages        = {1988--1993},\n  publisher    = {{IEEE}},\n  year         = {2010},\n  url          = {https://doi.org/10.1109/IROS.2010.5650371},\n  doi          = {10.1109/IROS.2010.5650371},\n  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},\n  biburl       = {https://dblp.org/rec/conf/iros/FinucaneJK10.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Constraints-Based Complex Behavior in Rich Environments.\n \n \n \n \n\n\n \n Allbeck, J. M.; and Kress-Gazit, H.\n\n\n \n\n\n\n In Allbeck, J. M.; Badler, N. I.; Bickmore, T. W.; Pelachaud, C.; and Safonova, A., editor(s), Intelligent Virtual Agents, 10th International Conference, IVA 2010, Philadelphia, PA, USA, September 20-22, 2010. Proceedings, volume 6356, of Lecture Notes in Computer Science, pages 1–14, 2010. Springer\n \n\n\n\n
\n\n\n\n \n \n \"Constraints-BasedPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/iva/AllbeckK10,\n  author       = {Jan M. Allbeck and\n                  Hadas Kress{-}Gazit},\n  editor       = {Jan M. Allbeck and\n                  Norman I. Badler and\n                  Timothy W. Bickmore and\n                  Catherine Pelachaud and\n                  Alla Safonova},\n  title        = {Constraints-Based Complex Behavior in Rich Environments},\n  booktitle    = {Intelligent Virtual Agents, 10th International Conference, {IVA} 2010,\n                  Philadelphia, PA, USA, September 20-22, 2010. Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {6356},\n  pages        = {1--14},\n  publisher    = {Springer},\n  year         = {2010},\n  url          = {https://doi.org/10.1007/978-3-642-15892-6\\_1},\n  doi          = {10.1007/978-3-642-15892-6\\_1},\n  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},\n  biburl       = {https://dblp.org/rec/conf/iva/AllbeckK10.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2009\n \n \n (2)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Temporal logic motion planning for dynamic robots.\n \n \n \n \n\n\n \n Fainekos, G. E.; Girard, A.; Kress-Gazit, H.; and Pappas, G. J.\n\n\n \n\n\n\n Autom., 45(2): 343–352. 2009.\n \n\n\n\n
\n\n\n\n \n \n \"TemporalPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/automatica/FainekosGKP09,\n  author       = {Georgios E. Fainekos and\n                  Antoine Girard and\n                  Hadas Kress{-}Gazit and\n                  George J. Pappas},\n  title        = {Temporal logic motion planning for dynamic robots},\n  journal      = {Autom.},\n  volume       = {45},\n  number       = {2},\n  pages        = {343--352},\n  year         = {2009},\n  url          = {https://doi.org/10.1016/j.automatica.2008.08.008},\n  doi          = {10.1016/J.AUTOMATICA.2008.08.008},\n  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/automatica/FainekosGKP09.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Temporal-Logic-Based Reactive Mission and Motion Planning.\n \n \n \n \n\n\n \n Kress-Gazit, H.; Fainekos, G. E.; and Pappas, G. J.\n\n\n \n\n\n\n IEEE Trans. Robotics, 25(6): 1370–1381. 2009.\n \n\n\n\n
\n\n\n\n \n \n \"Temporal-Logic-BasedPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/trob/Kress-GazitFP09,\n  author       = {Hadas Kress{-}Gazit and\n                  Georgios E. Fainekos and\n                  George J. Pappas},\n  title        = {Temporal-Logic-Based Reactive Mission and Motion Planning},\n  journal      = {{IEEE} Trans. Robotics},\n  volume       = {25},\n  number       = {6},\n  pages        = {1370--1381},\n  year         = {2009},\n  url          = {https://doi.org/10.1109/TRO.2009.2030225},\n  doi          = {10.1109/TRO.2009.2030225},\n  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/trob/Kress-GazitFP09.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2008\n \n \n (4)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Translating Structured English to Robot Controllers.\n \n \n \n \n\n\n \n Kress-Gazit, H.; Fainekos, G. E.; and Pappas, G. J.\n\n\n \n\n\n\n Adv. Robotics, 22(12): 1343–1359. 2008.\n \n\n\n\n
\n\n\n\n \n \n \"TranslatingPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/ar/Kress-GazitFP08,\n  author       = {Hadas Kress{-}Gazit and\n                  Georgios E. Fainekos and\n                  George J. Pappas},\n  title        = {Translating Structured English to Robot Controllers},\n  journal      = {Adv. Robotics},\n  volume       = {22},\n  number       = {12},\n  pages        = {1343--1359},\n  year         = {2008},\n  url          = {https://doi.org/10.1163/156855308X344864},\n  doi          = {10.1163/156855308X344864},\n  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/ar/Kress-GazitFP08.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Courteous Cars.\n \n \n \n \n\n\n \n Kress-Gazit, H.; Conner, D. C.; Choset, H.; Rizzi, A. A.; and Pappas, G. J.\n\n\n \n\n\n\n IEEE Robotics Autom. Mag., 15(1): 30–38. 2008.\n \n\n\n\n
\n\n\n\n \n \n \"CourteousPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/ram/Kress-GazitCCRP08,\n  author       = {Hadas Kress{-}Gazit and\n                  David C. Conner and\n                  Howie Choset and\n                  Alfred A. Rizzi and\n                  George J. Pappas},\n  title        = {Courteous Cars},\n  journal      = {{IEEE} Robotics Autom. Mag.},\n  volume       = {15},\n  number       = {1},\n  pages        = {30--38},\n  year         = {2008},\n  url          = {https://doi.org/10.1109/M-RA.2007.914921},\n  doi          = {10.1109/M-RA.2007.914921},\n  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/ram/Kress-GazitCCRP08.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Automatically synthesizing a planning and control subsystem for the DARPA urban challenge.\n \n \n \n \n\n\n \n Kress-Gazit, H.; and Pappas, G. J.\n\n\n \n\n\n\n In 2008 IEEE International Conference on Automation Science and Engineering, IEEE CASE 2008, Washington, DC, USA, August 23-26, 2008, pages 766–771, 2008. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"AutomaticallyPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/case/Kress-GazitP08,\n  author       = {Hadas Kress{-}Gazit and\n                  George J. Pappas},\n  title        = {Automatically synthesizing a planning and control subsystem for the\n                  {DARPA} urban challenge},\n  booktitle    = {2008 {IEEE} International Conference on Automation Science and Engineering,\n                  {IEEE} {CASE} 2008, Washington, DC, USA, August 23-26, 2008},\n  pages        = {766--771},\n  publisher    = {{IEEE}},\n  year         = {2008},\n  url          = {https://doi.org/10.1109/COASE.2008.4626549},\n  doi          = {10.1109/COASE.2008.4626549},\n  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},\n  biburl       = {https://dblp.org/rec/conf/case/Kress-GazitP08.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Recycling controllers.\n \n \n \n \n\n\n \n Kress-Gazit, H.; Ayanian, N.; Pappas, G. J.; and Kumar, V.\n\n\n \n\n\n\n In 2008 IEEE International Conference on Automation Science and Engineering, IEEE CASE 2008, Washington, DC, USA, August 23-26, 2008, pages 772–777, 2008. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"RecyclingPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/case/Kress-GazitAPK08,\n  author       = {Hadas Kress{-}Gazit and\n                  Nora Ayanian and\n                  George J. Pappas and\n                  Vijay Kumar},\n  title        = {Recycling controllers},\n  booktitle    = {2008 {IEEE} International Conference on Automation Science and Engineering,\n                  {IEEE} {CASE} 2008, Washington, DC, USA, August 23-26, 2008},\n  pages        = {772--777},\n  publisher    = {{IEEE}},\n  year         = {2008},\n  url          = {https://doi.org/10.1109/COASE.2008.4626521},\n  doi          = {10.1109/COASE.2008.4626521},\n  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/case/Kress-GazitAPK08.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2007\n \n \n (3)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Where's Waldo? Sensor-Based Temporal Logic Motion Planning.\n \n \n \n \n\n\n \n Kress-Gazit, H.; Fainekos, G. E.; and Pappas, G. J.\n\n\n \n\n\n\n In 2007 IEEE International Conference on Robotics and Automation, ICRA 2007, 10-14 April 2007, Roma, Italy, pages 3116–3121, 2007. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"Where'sPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/icra/Kress-GazitFP07,\n  author       = {Hadas Kress{-}Gazit and\n                  Georgios E. Fainekos and\n                  George J. Pappas},\n  title        = {Where's Waldo? Sensor-Based Temporal Logic Motion Planning},\n  booktitle    = {2007 {IEEE} International Conference on Robotics and Automation, {ICRA}\n                  2007, 10-14 April 2007, Roma, Italy},\n  pages        = {3116--3121},\n  publisher    = {{IEEE}},\n  year         = {2007},\n  url          = {https://doi.org/10.1109/ROBOT.2007.363946},\n  doi          = {10.1109/ROBOT.2007.363946},\n  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/icra/Kress-GazitFP07.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Valet parking without a valet.\n \n \n \n \n\n\n \n Conner, D. C.; Kress-Gazit, H.; Choset, H.; Rizzi, A. A.; and Pappas, G. J.\n\n\n \n\n\n\n In 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 29 - November 2, 2007, Sheraton Hotel and Marina, San Diego, California, USA, pages 572–577, 2007. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"ValetPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/iros/ConnerKCRP07,\n  author       = {David C. Conner and\n                  Hadas Kress{-}Gazit and\n                  Howie Choset and\n                  Alfred A. Rizzi and\n                  George J. Pappas},\n  title        = {Valet parking without a valet},\n  booktitle    = {2007 {IEEE/RSJ} International Conference on Intelligent Robots and\n                  Systems, October 29 - November 2, 2007, Sheraton Hotel and Marina,\n                  San Diego, California, {USA}},\n  pages        = {572--577},\n  publisher    = {{IEEE}},\n  year         = {2007},\n  url          = {https://doi.org/10.1109/IROS.2007.4399374},\n  doi          = {10.1109/IROS.2007.4399374},\n  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},\n  biburl       = {https://dblp.org/rec/conf/iros/ConnerKCRP07.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n From structured english to robot motion.\n \n \n \n \n\n\n \n Kress-Gazit, H.; Fainekos, G. E.; and Pappas, G. J.\n\n\n \n\n\n\n In 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 29 - November 2, 2007, Sheraton Hotel and Marina, San Diego, California, USA, pages 2717–2722, 2007. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"FromPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/iros/Kress-GazitFP07,\n  author       = {Hadas Kress{-}Gazit and\n                  Georgios E. Fainekos and\n                  George J. Pappas},\n  title        = {From structured english to robot motion},\n  booktitle    = {2007 {IEEE/RSJ} International Conference on Intelligent Robots and\n                  Systems, October 29 - November 2, 2007, Sheraton Hotel and Marina,\n                  San Diego, California, {USA}},\n  pages        = {2717--2722},\n  publisher    = {{IEEE}},\n  year         = {2007},\n  url          = {https://doi.org/10.1109/IROS.2007.4398998},\n  doi          = {10.1109/IROS.2007.4398998},\n  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/iros/Kress-GazitFP07.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2005\n \n \n (2)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Hybrid Controllers for Path Planning: A Temporal Logic Approach.\n \n \n \n \n\n\n \n Fainekos, G. E.; Kress-Gazit, H.; and Pappas, G. J.\n\n\n \n\n\n\n In 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, CDC/ECC 2005, Seville, Spain, 12-15 December, 2005, pages 4885–4890, 2005. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"HybridPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/cdc/FainekosKP05,\n  author       = {Georgios E. Fainekos and\n                  Hadas Kress{-}Gazit and\n                  George J. Pappas},\n  title        = {Hybrid Controllers for Path Planning: {A} Temporal Logic Approach},\n  booktitle    = {44th {IEEE} {IEEE} Conference on Decision and Control and 8th European\n                  Control Conference Control, {CDC/ECC} 2005, Seville, Spain, 12-15\n                  December, 2005},\n  pages        = {4885--4890},\n  publisher    = {{IEEE}},\n  year         = {2005},\n  url          = {https://doi.org/10.1109/CDC.2005.1582935},\n  doi          = {10.1109/CDC.2005.1582935},\n  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/cdc/FainekosKP05.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Temporal Logic Motion Planning for Mobile Robots.\n \n \n \n \n\n\n \n Fainekos, G. E.; Kress-Gazit, H.; and Pappas, G. J.\n\n\n \n\n\n\n In Proceedings of the 2005 IEEE International Conference on Robotics and Automation, ICRA 2005, April 18-22, 2005, Barcelona, Spain, pages 2020–2025, 2005. IEEE\n \n\n\n\n
\n\n\n\n \n \n \"TemporalPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/icra/FainekosKP05,\n  author       = {Georgios E. Fainekos and\n                  Hadas Kress{-}Gazit and\n                  George J. Pappas},\n  title        = {Temporal Logic Motion Planning for Mobile Robots},\n  booktitle    = {Proceedings of the 2005 {IEEE} International Conference on Robotics\n                  and Automation, {ICRA} 2005, April 18-22, 2005, Barcelona, Spain},\n  pages        = {2020--2025},\n  publisher    = {{IEEE}},\n  year         = {2005},\n  url          = {https://doi.org/10.1109/ROBOT.2005.1570410},\n  doi          = {10.1109/ROBOT.2005.1570410},\n  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/icra/FainekosKP05.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n\n\n\n
\n\n\n \n\n \n \n \n \n\n
\n"}; document.write(bibbase_data.data);