Toward Minimal Explanations of Unsynthesizability for High-Level Robot Behaviors

TitleToward Minimal Explanations of Unsynthesizability for High-Level Robot Behaviors
Publication TypeConference Paper
Year of Publication2013
AuthorsRaman, V, Kress-Gazit, H
Conference NameInternational Conference on Intelligent Robots and Systems (IROS)
Citation KeyRKG_IROS13