Designing Reactive Robot Controllers with LTLMoP

TitleDesigning Reactive Robot Controllers with LTLMoP
Publication TypeConference Paper
Year of Publication2011
AuthorsFinucane, C, Jing, G, Kress-Gazit, H
Conference NameAutomated Action Planning for Autonomous Mobile Robots
Citation KeyFJKG_AAAIW11