Alessio Colombo, Daniele Fontanelli, Axel Legay, Luigi Palopoli, Sean Sedwards. Motion planning in crowds using statistical model checking to enhance the social force model. In Proceedings of the 52nd IEEE Conference on Decision and Control, CDC 2013, December 10-13, 2013, Firenze, Italy. pages 3602-3608, IEEE, 2013. [doi]
Abstract is missing.