Temporal logic robot mission planning for slow and fast actions

TitleTemporal logic robot mission planning for slow and fast actions
Publication TypeConference Paper
Year of Publication2012
AuthorsRaman, V, Finucane, C, Kress-Gazit, H
Conference NameIEEE/RSJ International Conference on Intelligent Robots and Systems
Citation KeyRFKG_IROS12_FS