@inproceedings {1557,
	title = {Multi-Robot Path Planning for Syntactically Co-Safe LTL Specifications},
	booktitle = {WODES{\textquoteright}2016: 13rd IFAC International Workshop on Discrete Event Systems},
	year = {2016},
	month = {05/2016},
	address = {Xian, China},
	doi = {http://dx.doi.org/10.1109/WODES.2016.7497887},
	url = {http://dx.doi.org/10.1109/WODES.2016.7497887},
	author = {M. Kloetzer and Mahulea, Cristian}
}

