@article {1556,
	title = {LTL-based Planning in Environments with Probabilistic Observations},
	journal = { IEEE Transactions on Automation Science and Engineering},
	volume = {12},
	year = {2015},
	month = {10/2015},
	chapter = {1407--1420},
	doi = {http://dx.doi.org/10.1109/TASE.2015.2454299},
	url = {http://dx.doi.org/10.1109/TASE.2015.2454299},
	author = {M. Kloetzer and Mahulea, Cristian}
}

