Alessio Colombo, Daniele Fontanelli, Axel Legay, Luigi Palopoli, Sean Sedwards. Motion planning in crowds using statistical model checking to enhance the social force model.
CDC 2013 - IEEE 52nd Annual Conference on Decision and Control, Dec 2013, Florence, Italy. pp.3602 - 3608,
⟨10.1109/CDC.2013.6760437⟩.
⟨hal-01088031⟩