@INPROCEEDINGS{col13a,
title={Motion Planning in Crowds using Statistical Model Checking to Enhance the Social Force Model},
, author={Colombo, Alessio and Fontanelli, Daniele and Legay, Axel and Palopoli, Luigi and Sedwards, Sean},
booktitle={Decision and Control (cdc2013), 2013 Proc. of 53nd IEEE Conference on},
year={2013},
month={Dec.},
address={Firenze, Italy}
}