Analyzing Unsynthesizable Specifications for High-Level Robot Behavior Using LTLMoP

TitleAnalyzing Unsynthesizable Specifications for High-Level Robot Behavior Using LTLMoP
Publication TypeConference Paper
Year of Publication2011
AuthorsRaman, V, Kress-Gazit, H
Conference Name23rd International Conference on Computer Aided Verification
Citation KeyRKG_CAV11