Publications
Export 7 results:
[ Author
Filters: First Letter Of Last Name is A [Clear All Filters]
“Contextual Awareness: Understanding Monologic Natural Language Instructions for Autonomous Robots”, in Proceedings of the IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN), 2017.
, “Syntax-Guided Synthesis”, in Dependable Software Systems Engineering, 2015, pp. 1–25.
, “Reactive mission and motion planning with deadlock resolution avoiding dynamic obstacles”, Autonomous Robots, vol. 42, pp. 801–824, 2018.
, “Reactive mission and motion planning with deadlock resolution avoiding dynamic obstacles”, Autonomous Robots, 2017.
, “Constraints-based complex behavior in rich environments”, in Proceedings of the 10th international conference on Intelligent virtual agents, Berlin, Heidelberg, 2010, pp. 1–14.
, “Verification and Synthesis of Human-Robot Interaction (Dagstuhl Seminar 19081)”, Dagstuhl Reports, vol. 9, pp. 91–110, 2019.
, “Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071)”, Dagstuhl Reports, vol. 7, pp. 48–63, 2017.
,