@Inproceedings{EPTCS50.5, author = {Doyen, Laurent and Massart, Thierry and Shirmohammadi, Mahsa }, year = {2011}, title = {Synchronizing Objectives for Markov Decision Processes}, editor = {Reich, Johannes and Finkbeiner, Bernd}, booktitle = {{\rm Proceedings International Workshop on} Interactions, Games and Protocols, {\rm Saarbr\"ucken, Germany, 27th March 2011}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {50}, publisher = {Open Publishing Association}, pages = {61-75}, doi = {10.4204/EPTCS.50.5}, }