Publications
Export 13 results:
Author Keyword Title Type [ Year
Filters: First Letter Of Keyword is C [Clear All Filters]
“Resilient, Provably-Correct, and High-Level Robot Behaviors”, IEEE Transactions on Robotics, vol. 34, pp. 936-952, 2018.
, “Resilient, Provably-Correct, and High-Level Robot Behaviors”, IEEE Transactions on Robotics, vol. 34, pp. 936-952, 2018.
, “Resilient, Provably-Correct, and High-Level Robot Behaviors”, IEEE Transactions on Robotics, vol. 34, pp. 936-952, 2018.
, “Resilient, Provably-Correct, and High-Level Robot Behaviors”, IEEE Transactions on Robotics, vol. 34, pp. 936-952, 2018.
, “Resource-Performance Tradeoff Analysis for Mobile Robots”, IEEE Robotics and Automation Letters, vol. 3, pp. 1840-1847, 2018.
, “Experimental Evaluation and Formal Analysis of High-Level Tasks with Dynamic Obstacle Anticipation on a Full-Sized Autonomous Vehicle”, Journal of Field Robotics, 2017.
, “Open-world mission specification for reactive robots”, in Robotics and Automation (ICRA), 2014 IEEE International Conference on, 2014.
, “Synthesis for multi-robot controllers with interleaved motion”, in Robotics and Automation (ICRA), 2014 IEEE International Conference on, 2014.
, “Synthesis for multi-robot controllers with interleaved motion”, in Robotics and Automation (ICRA), 2014 IEEE International Conference on, 2014.
, “Correct, Reactive, High-Level Robot Control”, IEEE Robotics Automation Magazine, vol. 18, pp. 65-74, 2011.
, “Correct, Reactive, High-Level Robot Control”, IEEE Robotics Automation Magazine, vol. 18, pp. 65-74, 2011.
, “Correct, Reactive, High-Level Robot Control”, IEEE Robotics Automation Magazine, vol. 18, pp. 65-74, 2011.
, “Constraints-based complex behavior in rich environments”, in Proceedings of the 10th international conference on Intelligent virtual agents, Berlin, Heidelberg, 2010, pp. 1–14.
,