@inproceedings {1444, title = {A Probabilistic Abstraction Approach for Planning and Controlling Mobile Robots}, booktitle = {ETFA{\textquoteright}2011: 16th IEEE International Conference on Emerging Technologies and Factory Automation}, year = {2011}, month = {09/2011}, publisher = {IEEE}, organization = {IEEE}, address = {Toulouse, France}, author = {M. Kloetzer and Mahulea, Cristian and O. Pastravanu} }