@INPROCEEDINGS{OrlandiniICTAI2013,
author={Orlandini, A. and Suriano, M. and Cesta, A. and Finzi,  A.},
booktitle={Tools with Artificial Intelligence (ICTAI), 2013 IEEE 25th International Conference on},
title={Controller Synthesis for Safety Critical Planning},
year={2013},
pages={306-313},
doi={10.1109/ICTAI.2013.54},
ISSN={1082-3409},}