Open-world mission specification for reactive robots

TitleOpen-world mission specification for reactive robots
Publication TypeConference Paper
Year of Publication2014
AuthorsManiatopoulos, S, Blair, M, Finucane, C, Kress-Gazit, H
Conference NameRobotics and Automation (ICRA), 2014 IEEE International Conference on
Date PublishedMay
KeywordsAbstracts, correct-by-construction robot controllers, Educational institutions, high-level mission specifications, intelligent robots, open-world mission specification, Planning, planning (artificial intelligence), reactive robots, robot programming, Robot sensing systems, robotic courier, Semantics