LTLMoP: Experimenting with Language, Temporal Logic and Robot Control

TitleLTLMoP: Experimenting with Language, Temporal Logic and Robot Control
Publication TypeConference Paper
Year of Publication2010
AuthorsFinucane, C, Jing, G, Kress-Gazit, H
Conference NameIEEE/RSJ Int'l. Conf. on Intelligent Robots and Systems
Date PublishedOctober
Conference LocationTaipei, Taiwan
Citation KeyFJKGiros_10