Planning Mobile Robots with Boolean-based Specifications
Title | Planning Mobile Robots with Boolean-based Specifications |
Publication Type | Conference Paper |
Year of Publication | 2014 |
Authors | Kloetzer, M, Mahulea C |
Conference Name | CDC'2014: 53rd IEEE Conference on Decision and Control |
Date Published | 12/2014 |
Conference Location | Los Angeles, California, USA |
URL | http://dx.doi.org/10.1109/CDC.2014.7040192 |
DOI | http://dx.doi.org/10.1109/CDC.2014.7040192 |
Export |