@inproceedings {1551,
	title = {Planning Mobile Robots with Boolean-based Specifications},
	booktitle = {CDC{\textquoteright}2014: 53rd IEEE Conference on Decision and Control},
	year = {2014},
	month = {12/2014},
	address = {Los Angeles, California, USA},
	doi = {http://dx.doi.org/10.1109/CDC.2014.7040192},
	url = {http://dx.doi.org/10.1109/CDC.2014.7040192},
	author = {M. Kloetzer and Mahulea, Cristian}
}

