Publications

Export 1 results:
Author Keyword Title Type [ Year(Desc)]
Filters: Keyword is correct-by-construction robot controllers and Author is Blair, M.  [Clear All Filters]
2014
S. Maniatopoulos, Blair, M., Finucane, C., and Kress-Gazit, H., “Open-world mission specification for reactive robots”, in Robotics and Automation (ICRA), 2014 IEEE International Conference on, 2014.