Hadas Kress-Gazit, Ph.D.

Affiliations: 
2008 University of Pennsylvania, Philadelphia, PA, United States 
Area:
Information and Decision Systems
Google:
"Hadas Kress-Gazit"

Parents

Sign in to add mentor
George J. Pappas grad student 2008 Penn
 (Transforming high level tasks to low level controllers.)

Children

Sign in to add trainee
William B Thomason grad student (Robotree)
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Johnson B, Kress-Gazit H. (2015) Analyzing and revising synthesized controllers for robots with sensing and actuation errors International Journal of Robotics Research. 34: 816-832
Decastro JA, Kress-Gazit H. (2015) Synthesis of nonlinear continuous controllers for verifiably correct high-level, reactive behaviors International Journal of Robotics Research. 34: 378-394
Raman V, Piterman N, Finucane C, et al. (2015) Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control Ieee Transactions On Robotics. 31: 591-604
DeCastro JA, Raman V, Kress-Gazit H. (2015) Dynamics-driven adaptive abstraction for reactive high-level mission and motion planning Proceedings - Ieee International Conference On Robotics and Automation. 2015: 369-376
Wong KW, Kress-Gazit H. (2015) Let's talk: Autonomous conflict resolution for robots carrying out individual high-level tasks in a shared workspace Proceedings - Ieee International Conference On Robotics and Automation. 2015: 339-345
Maniatopoulos S, Blair M, Finucane C, et al. (2014) Open-world mission specification for reactive robots Proceedings - Ieee International Conference On Robotics and Automation. 4328-4334
Raman V, Kress-Gazit H. (2014) Synthesis for multi-robot controllers with interleaved motion Proceedings - Ieee International Conference On Robotics and Automation. 4316-4321
Lignos C, Raman V, Finucane C, et al. (2014) Provably correct reactive control from natural language Autonomous Robots. 38: 89-105
Ehlers R, Seshia SA, Kress-Gazit H. (2014) Synthesis with identifiers Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8318: 415-433
Raman V, Kress-Gazit H. (2013) Explaining impossible high-level robot behaviors Ieee Transactions On Robotics. 29: 94-104
See more...