H. Kress-Gazit
发表
Hadas Kress-Gazit,
Lydia E. Kavraki,
Morteza Lahijanian,
2013,
HSCC '13.
Hadas Kress-Gazit,
Lydia E. Kavraki,
Morteza Lahijanian,
2016,
IEEE Transactions on Robotics.
Hadas Kress-Gazit,
David C. Conner,
Philipp Schillinger,
2016,
2016 IEEE International Conference on Robotics and Automation (ICRA).
Hadas Kress-Gazit,
Vasumathi Raman,
H. Kress-Gazit,
2013,
IEEE Transactions on Robotics.
Hadas Kress-Gazit,
Vasumathi Raman,
Mitchell P. Marcus,
2013,
Robotics: Science and Systems.
Hadas Kress-Gazit,
Sanjit A. Seshia,
Rüdiger Ehlers,
2014,
VMCAI.
Cheng Perng Phoo,
B. Hariharan,
H. Kress-Gazit,
2020
.
George J. Pappas,
A. Girard,
H. Kress-Gazit,
2009,
Autom..
George J. Pappas,
A. Girard,
H. Kress-Gazit,
2008
.
G. Konidaris,
H. Kress-Gazit,
Adam Pacheck,
2022,
ISRR.
Pascal Van Hentenryck,
Benjamin Kuipers,
Emilio Frazzoli,
2012,
International Conference on Automated Planning and Scheduling.
Hadas Kress-Gazit,
Thomas M. Howard,
Amanda Prorok,
2020,
Auton. Robots.
H. Kress-Gazit,
Michael Rubenstein,
Ji Chen,
2020,
2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
A. Bicchi,
S. Hutchinson,
H. Kress-Gazit,
2019
.
Hadas Kress-Gazit,
Kewei Cheng,
Ankur Mehta,
2020,
AIAA Scitech 2021 Forum.
H. Kress-Gazit,
Adam Pacheck,
2022,
IEEE Transactions on Robotics.
H. Kress-Gazit,
G. Hoffman,
Rahul Ravi,
2022,
2022 31st IEEE International Conference on Robot and Human Interactive Communication (RO-MAN).
Daniel J. Brooks,
Kenton Lee,
H. Yanco,
2016
.
H. Kress-Gazit,
Benjamin Johnson,
2012,
Autonomous Robots.
Mitchell P. Marcus,
M. Marcus,
Constantine Lignos,
2014,
Autonomous Robots.
Hadas Kress-Gazit,
Oskar von Stryk,
Stefan Kohlbrecher,
2017,
J. Field Robotics.
George J. Pappas,
G.J. Pappas,
G.E. Fainekos,
2005,
Proceedings of the 44th IEEE Conference on Decision and Control.
Hadas Kress-Gazit,
George J. Pappas,
Georgios E. Fainekos,
2005,
Proceedings of the 2005 IEEE International Conference on Robotics and Automation.
Hadas Kress-Gazit,
Mark McClelland,
Aaron Nathan,
2010,
Security + Defence.
Hadas Kress-Gazit,
Stefanie Tellex,
Cynthia Matuszek,
2020,
Annu. Rev. Control. Robotics Auton. Syst..
N. Roy,
H. Kress-Gazit,
Gregory J. Stein,
2021,
2021 IEEE International Conference on Robotics and Automation (ICRA).
Hadas Kress-Gazit,
George J. Pappas,
Georgios E. Fainekos,
2008,
Adv. Robotics.
Hadas Kress-Gazit,
Thais Campos de Almeida,
Samhita Marri,
2020,
Robotics: Science and Systems.
Hadas Kress-Gazit,
Vasumathi Raman,
Morteza Lahijanian,
2018,
Annu. Rev. Control. Robotics Auton. Syst..
Hadas Kress-Gazit,
Vasumathi Raman,
Javier Alonso-Mora,
2017,
Auton. Robots.
Hadas Kress-Gazit,
Vasumathi Raman,
Javier Alonso-Mora,
2015,
ISRR.
Hadas Kress-Gazit,
Bingxin Xu,
Shahar Sarid,
2012,
Robotics: Science and Systems.
Hadas Kress-Gazit,
George J. Pappas,
Georgios E. Fainekos,
2009,
IEEE Transactions on Robotics.
Hadas Kress-Gazit,
Wil B. Thomason,
Wil Thomason,
2021,
ArXiv.
Hadas Kress-Gazit,
Laurel D. Riek,
Alyssa Kubota,
2020,
2020 15th ACM/IEEE International Conference on Human-Robot Interaction (HRI).
Malte F. Jung,
H. Kress-Gazit,
Claire Liang,
2023,
HRI.
H. Kress-Gazit,
L. Riek,
A. Kubota,
2020,
Proceedings of the 2020 ACM/IEEE International Conference on Human-Robot Interaction.
Russ Tedrake,
Sadra Sadraddini,
H. Kress-Gazit,
2022,
HSCC.
Hadas Kress-Gazit,
Robert F. Shepherd,
Bryan Peele,
2016,
ISER.
H. Kress-Gazit,
Amy Fang,
2022,
2022 International Conference on Robotics and Automation (ICRA).
Ross A. Knepper,
Nils Jansen,
Kerstin Eder,
2020,
Commun. ACM.
H. Kress-Gazit,
David Gundana,
2023,
ArXiv.
Hadas Kress-Gazit,
Gangyuan Jing,
Cameron Finucane,
2010,
2010 IEEE/RSJ International Conference on Intelligent Robots and Systems.
Hadas Kress-Gazit,
Matthew R. Walter,
Thomas M. Howard,
2017,
2017 26th IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN).
Hadas Kress-Gazit,
Benjamin Johnson,
H. Kress-Gazit,
2013,
2013 IEEE/RSJ International Conference on Intelligent Robots and Systems.
Hadas Kress-Gazit,
Salar Moarref,
H. Kress-Gazit,
2017,
2017 International Symposium on Multi-Robot and Multi-Agent Systems (MRS).
Ufuk Topcu,
Hadas Kress-Gazit,
Tichakorn Wongpiromsarn,
2011,
IEEE Robotics & Automation Magazine.
Hadas Kress-Gazit,
Vasumathi Raman,
H. Kress-Gazit,
2011,
CAV.
Hadas Kress-Gazit,
George J. Pappas,
Georgios E. Fainekos,
2007,
Proceedings 2007 IEEE International Conference on Robotics and Automation.
Hadas Kress-Gazit,
Rüdiger Ehlers,
Kai Weng Wong,
2018,
IEEE Transactions on Robotics.
Hadas Kress-Gazit,
Paul Newman,
Dushyant Rao,
2016,
IEEE Robotics and Automation Letters.
Hadas Kress-Gazit,
Salar Moarref,
H. Kress-Gazit,
2020,
Auton. Robots.
Hadas Kress-Gazit,
Ji Chen,
Salar Moarref,
2018,
AAMAS.
Mark Yim,
Hadas Kress-Gazit,
Mark H. Yim,
2016,
Robotics: Science and Systems.
Hadas Kress-Gazit,
Sebastian Castro,
Sarah Muraoka Koehler,
2011,
2011 IEEE/RSJ International Conference on Intelligent Robots and Systems.
Mark Yim,
Hadas Kress-Gazit,
Mark H. Yim,
2017,
Autonomous Robots.
Mark Yim,
Hadas Kress-Gazit,
Mark H. Yim,
2015,
ISRR.
Hadas Kress-Gazit,
Joseph DelPreto,
Daniela Rus,
2015,
ISRR.
U. Topcu,
H. Kress-Gazit,
T. Wongpiromsarn,
2011,
IEEE Robotics Autom. Mag..
Hadas Kress-Gazit,
Vasumathi Raman,
Mitchell P. Marcus,
2015,
Auton. Robots.
Hadas Kress-Gazit,
Hazem Torfah,
H. Kress-Gazit,
2019,
CREST@ETAPS.
Hadas Kress-Gazit,
Salar Moarref,
H. Kress-Gazit,
2018,
FORMATS.
Hadas Kress-Gazit,
Robert F. Shepherd,
John Whitehead,
2019,
2019 International Conference on Robotics and Automation (ICRA).
Sadra Sadraddini,
H. Kress-Gazit,
Guy Scher,
2022,
2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
Ensuring Reliable Robot Task Performance through Probabilistic Rare-Event Verification and Synthesis
Sadra Sadraddini,
H. Kress-Gazit,
Ariel Yadin,
2023,
ArXiv.
Hadas Kress-Gazit,
Rüdiger Ehlers,
Jonathan A. DeCastro,
2016,
Discrete Event Dynamic Systems.
Malte F. Jung,
H. Kress-Gazit,
Claire Liang,
2023,
HRI.
Hadas Kress-Gazit,
Guy Hoffman,
Alap Kshirsagar,
2019,
2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
Hadas Kress-Gazit,
David Gundana,
H. Kress-Gazit,
2020,
IEEE Robotics and Automation Letters.
Hadas Kress-Gazit,
Matthew Blair,
Cameron Finucane,
2014,
2014 IEEE International Conference on Robotics and Automation (ICRA).
H. Kress-Gazit,
David Gundana,
2022,
IEEE Robotics and Automation Letters.
Hadas Kress-Gazit,
Thomas M. Howard,
Jacob Arkin,
2017,
ArXiv.
Hadas Kress-Gazit,
Vasumathi Raman,
H. Kress-Gazit,
2012,
2012 IEEE International Conference on Robotics and Automation.
Hadas Kress-Gazit,
Thomas M. Howard,
Jacob Arkin,
2016,
2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
Mark Yim,
Hadas Kress-Gazit,
Mark H. Yim,
2017,
Science Robotics.
H. Kress-Gazit,
Claire Liang,
2021,
2021 IEEE International Conference on Robotics and Automation (ICRA).
Hadas Kress-Gazit,
H. Kress-Gazit,
2011,
IEEE Robotics Autom. Mag..