D. Helbing, I. Farkas, and T. Vicsek, Simulating dynamical features of escape panic, Nature, vol.407, issue.6803, pp.487-490, 2000.
DOI : 10.1038/35035023

J. Barraquand and J. Latombe, A Monte-Carlo algorithm for path planning with many degrees of freedom, Proceedings., IEEE International Conference on Robotics and Automation, pp.1712-1717, 1990.
DOI : 10.1109/ROBOT.1990.126256

L. Kavraki, P. Svestka, J. Latombe, and M. Overmars, Probabilistic roadmaps for path planning in high-dimensional configuration spaces Robotics and Automation, IEEE Transactions on, vol.12, issue.4, pp.566-580, 1996.

S. M. Lavalle, Rapidly-exploring random trees: A new tool for path planning, Iowa State university, 1998.

S. Loizou and K. Kyriakopoulos, Automatic synthesis of multi-agent motion tasks based on LTL specifications, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601), pp.153-158, 2004.
DOI : 10.1109/CDC.2004.1428622

H. Kress-gazit, G. Fainekos, and G. Pappas, Where's waldo? sensorbased temporal logic motion planning, Robotics and Automation IEEE International Conference on, pp.3116-3121, 2007.
DOI : 10.1109/robot.2007.363946
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.114.4936

S. Karaman and E. Frazzoli, Sampling-based motion planning with deterministic μ-calculus specifications, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference, 2009.
DOI : 10.1109/CDC.2009.5400278

Y. Kuwata, J. Teo, S. Karaman, G. Fiore, E. Frazzoli et al., Motion Planning in Complex Environments Using Closed-loop Prediction, AIAA Guidance, Navigation and Control Conference and Exhibit, 2008.
DOI : 10.2514/6.2008-7166

J. Hu, J. Lygeros, and S. Sastry, Towards a Theory of Stochastic Hybrid Systems, Lecture Notes in Computer Science, vol.1790, pp.160-173, 2000.
DOI : 10.1007/3-540-46430-1_16

J. Hu, M. Prandini, and S. Sastry, Aircraft Conflict Prediction in the Presence of a Spatially Correlated Wind Field, IEEE Transactions on Intelligent Transportation Systems, vol.6, issue.3, pp.326-340, 2005.
DOI : 10.1109/TITS.2005.853699

M. Prandini, J. Lygeros, A. Nilim, and S. Sastry, A probabilistic framework for aircraft conflict detection, Guidance, Navigation, and Control Conference and Exhibit, pp.199-220, 2000.
DOI : 10.2514/6.1999-4144

R. Asaula, D. Fontanelli, and L. Palopoli, Safety provisions for human/robot interactions using stochastic discrete abstractions, 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2010.
DOI : 10.1109/IROS.2010.5651150
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.232.8214

D. Helbing and P. Molnár, Social force model for pedestrian dynamics, Physical Review E, vol.51, issue.5, pp.4282-4286, 1995.
DOI : 10.1103/PhysRevE.51.4282
URL : http://arxiv.org/abs/cond-mat/9805244

D. Helbing, I. J. Farkas, and T. Vicsek, Freezing by Heating in a Driven Mesoscopic System, Physical Review Letters, vol.84, issue.6, pp.1240-1243, 2000.
DOI : 10.1103/PhysRevLett.84.1240

D. Helbing, I. Farkas, P. Molnár, and T. Vicsek, Simulation of Pedestrian Crowds in Normal and Evacuation Situations, Pedestrian and Evacuation Dynamics, 2002.

A. Colombo, D. Fontanelli, D. Gandhi, A. De-angeli, L. Palopoli et al., Behavioural templates improve robot motion planning with social force model in human environments, 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA), 2013.
DOI : 10.1109/ETFA.2013.6648081
URL : https://hal.archives-ouvertes.fr/hal-01088063

E. Clarke, E. A. Emerson, and J. Sifakis, Model checking, Communications of the ACM, vol.52, issue.11, pp.74-84, 2009.
DOI : 10.1145/1592761.1592781

C. Baier and J. Katoen, Principles of Model Checking, 2008.

H. Chernoff, A Measure of Asymptotic Efficiency for Tests of a Hypothesis Based on the sum of Observations, The Annals of Mathematical Statistics, vol.23, issue.4, pp.493-507, 1952.
DOI : 10.1214/aoms/1177729330

S. K. Jha, E. M. Clarke, C. Langmead, A. Legay, A. Platzer et al., A Bayesian Approach to Model Checking Biological Systems, Computational Methods in Systems Biology, ser. Lecture Notes in Computer Science, pp.218-234, 2009.
DOI : 10.1016/j.ic.2006.05.002

K. Ahnert and M. Mulansky, Odeint ??? Solving Ordinary Differential Equations in C++, AIP Conference Proceedings, vol.1389, issue.1, pp.1586-1589, 2011.
DOI : 10.1063/1.3637934