Multi-Robot Path Planning for Syntactically Co-Safe LTL Specifications
| Title | Multi-Robot Path Planning for Syntactically Co-Safe LTL Specifications |
| Publication Type | Conference Paper |
| Year of Publication | 2016 |
| Authors | Kloetzer, M, Mahulea C |
| Conference Name | WODES'2016: 13rd IFAC International Workshop on Discrete Event Systems |
| Date Published | 05/2016 |
| Conference Location | Xian, China |
| URL | http://dx.doi.org/10.1109/WODES.2016.7497887 |
| DOI | http://dx.doi.org/10.1109/WODES.2016.7497887 |
| Export |
