PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Kress-Gazit, Hadas"

Author of the publication

copydeleteadd this publication to your clipboard
Syntax-Guided Synthesis.

, , , , , , , , , and 6 other author(s). Dependable Software Systems Engineering, volume 40 of NATO Science for Peace and Security Series, D: Information and Communication Security, IOS Press, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Kress-Gazit, Hadas
add a person with the name Kress-Gazit, Hadas
 

Other publications of authors with the same name

Improving the continuous execution of reactive LTL-based controllers., and . ICRA, page 5439-5445. IEEE, (2013)Synthesis for multi-robot controllers with interleaved motion., and . ICRA, page 4316-4321. IEEE, (2014)Automated feedback for unachievable high-level robot behaviors., and . ICRA, page 5156-5162. IEEE, (2012)Temporal logic robot mission planning for slow and fast actions., , and . IROS, page 251-256. IEEE, (2012)Provably-correct robot control with LTLMoP, OMPL and ROS., , and . IROS, page 2073. IEEE, (2013)Probabilistic guarantees for high-level robot behavior in the presence of sensor error., and . Auton. Robots, 33 (3): 309-321 (2012)Verification and Synthesis of Human-Robot Interaction (Dagstuhl Seminar 19081)., , , and . Dagstuhl Reports, 9 (2): 91-110 (2019)Resilient, Provably-Correct, and High-Level Robot Behaviors., , and . IEEE Trans. Robotics, 34 (4): 936-952 (2018)Experimental Evaluation and Formal Analysis of High-Level Tasks with Dynamic Obstacle Anticipation on a Full-Sized Autonomous Vehicle., , , and . J. Field Robotics, 34 (5): 897-911 (2017)Analyzing Unsynthesizable Specifications for High-Level Robot Behavior Using LTLMoP., and . CAV, volume 6806 of Lecture Notes in Computer Science, page 663-668. Springer, (2011)