Open-world mission specification for reactive robots.

Spyros Maniatopoulos Matthew Blair Cameron Finucane Hadas Kress-Gazit

Published in: ICRA (2014)

Keyphrases

open world
closed world
incomplete information
reactive systems
search and rescue
mobile robot
multi robot
data exchange
knowledge base
cooperative
query answering
high level
natural language
multi agent systems
model checking
conceptual model