Minimal Explanations of Unsynthesizability for High-Level Robot Behaviors

TitleMinimal Explanations of Unsynthesizability for High-Level Robot Behaviors
Publication TypeConference Paper
Year of Publication2013
AuthorsRaman, V, Kress-Gazit, H
Conference NameIEEE International Conference on Robotics and Automation
Citation KeyRKG_IROS13