J. Mccarthy, Towards a Mathematical Science of Computation, pp.35-56, 1993.

H. Garavel and S. Graf, Formal Methods for Safe and Secure Computer Systems -BSI Study 875. BSI German Federal Office for Information Security, 2013.

C. Urmson, J. Anhalt, D. Bagnell, C. Baker, R. Bittner et al., Autonomous driving in urban environments: Boss and the urban challenge, Journal of Field Robotics, vol.25, issue.8, pp.425-466, 2008.

J. Leonard, J. How, S. Teller, M. Berger, S. Campbell et al., A perceptiondriven autonomous urban vehicle, Journal of Field Robotics, vol.25, issue.10, pp.727-774, 2008.

M. Kamali, L. Dennis, O. Mcaree, M. Fisher, and S. Veres, Formal verification of autonomous vehicle platooning, Science of Computer Programming, vol.02, p.2016

M. Barbier, A. Renzaglia, J. Quilbeuf, L. Rummelhard, A. Paigwar et al., Validation of Perception and Decision-Making Systems for Autonomous Driving via Statistical Model Checking, IV 2019 -30th IEEE Intelligent Vehicles Symposium, pp.1-8, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02127889

X. Zhao, V. Robu, D. Flynn, F. Dinmohammadi, M. Fisher et al., Probabilistic model checking of robots deployed in extreme environments, 2018.

R. Calinescu, C. Ghezzi, K. Johnson, M. Pezzé, Y. Rafiq et al., Formal verification with confidence intervals to establish quality of service properties of software systems, IEEE transactions on reliability, vol.65, issue.1, pp.107-125, 2016.

L. Rummelhard, A. Négre, and C. Laugier, Conditional monte carlo dense occupancy tracker, IEEE 18th International Conference on Intelligent Transportation Systems, pp.2485-2490, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01205298

R. Mateescu and H. Garavel, XTL: A Meta-Language and Tool for Temporal Logic Model-Checking, Proceedings of the International Workshop on Software Tools for Technology Transfer (STTT'98), pp.33-42, 1998.

H. Garavel, F. Lang, R. Mateescu, and W. Serwe, CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes, Springer International Journal on Software Tools for Technology Transfer (STTT), vol.15, issue.2, pp.89-107, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00715056

A. Elfes, Using occupancy grids for mobile robot perception and navigation, Computer, vol.22, issue.6, pp.46-57, 1989.

H. Moravec, Sensor fusion in certainty grids for mobile robots, AI magazine, vol.9, issue.2, p.61, 1988.

P. Bessière, E. Mazer, J. Ahuactzin-larios, and K. Mekhnacha, , 2013.

T. Fortmann, Y. Bar-shalom, and M. Scheffe, Multi-target tracking using joint probabilistic data association, 19th IEEE Conference on Decision and Control including the Symposium on Adaptive Processes, vol.19, pp.807-812, 1980.

Z. Khan, T. Balch, and F. Dellaert, An mcmc-based particle filter for tracking multiple interacting targets, Computer Vision-ECCV, pp.279-290, 2004.

N. Kaempchen, B. Schiele, and K. Dietmayer, Situation assessment of an autonomous emergency brake for arbitrary vehicle-to-vehicle collision scenarios, IEEE Transactions on Intelligent Transportation Systems, vol.10, issue.4, 2009.

L. Rummelhard, A. Nègre, M. Perrollaz, and C. Laugier, Probabilistic grid-based collision risk prediction for driving application, International Synposium on Experimental Robotics, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01011808

A. Dosovitskiy, G. Ros, F. Codevilla, A. Lopez, and V. Koltun, CARLA: An open urban driving simulator, Proceedings of the 1st Annual Conference on Robot Learning, pp.1-16, 2017.

Z. Manna and A. Pnueli, A hierarchy of temporal properties, Proceedings of the Annual ACM Symposium on Principles of Distributed Computing, pp.377-410, 1990.

B. Alpern and F. B. Schneider, Verifying temporal properties without temporal logic, ACM Transactions on Programming Languages and Systems (TOPLAS), vol.11, pp.147-167, 2001.