Temporal logic motion planning for mobile robots

TitleTemporal logic motion planning for mobile robots
Publication TypeConference Paper
Year of Publication2005
AuthorsFainekos, GE, Kress-Gazit, H, Pappas, GJ
Conference NameIEEE International Conference on Robotics and Automation
Conference LocationBarcelona, Spain
Citation KeyFKGPicra_05