Motion planning in crowds using statistical model checking to enhance the social force model

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]

@inproceedings{ColomboFLPS13,
  title = {Motion planning in crowds using statistical model checking to enhance the social force model},
  author = {Alessio Colombo and Daniele Fontanelli and Axel Legay and Luigi Palopoli and Sean Sedwards},
  year = {2013},
  doi = {10.1109/CDC.2013.6760437},
  url = {http://dx.doi.org/10.1109/CDC.2013.6760437},
  researchr = {https://researchr.org/publication/ColomboFLPS13},
  cites = {0},
  citedby = {0},
  pages = {3602-3608},
  booktitle = {Proceedings of the 52nd IEEE Conference on Decision and Control, CDC 2013, December 10-13, 2013, Firenze, Italy},
  publisher = {IEEE},
  isbn = {978-1-4673-5714-2},
}