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.

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.

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

, Prism

M. Althoff and J. M. Dolan, Online verification of automated road vehicles using reachability analysis, IEEE Transactions on Robotics, vol.30, issue.4, pp.903-918, 2014.

A. Colombo, D. Fontanelli, A. Legay, L. Palopoli, and S. Sedwards, Motion planning in crowds using statistical model checking to enhance the social force model, 52nd IEEE Conference on Decision and Control, pp.3602-3608, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01088031

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, IEEE Intelligent Vehicles Symposium (IV), 2019.
URL : https://hal.archives-ouvertes.fr/hal-02127889

S. Lefèvre, D. Vasquez, and C. Laugier, A survey on motion prediction and risk assessment for intelligent vehicles, ROBOMECH journal, vol.1, issue.1, p.1, 2014.

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

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

J. Ibanez-guzman, S. Lefevre, A. Mokkadem, and S. Rodhaim, Vehicle to vehicle communications applied to road intersection safety, field results, 13th International IEEE Conference on Intelligent Transportation Systems, pp.192-197, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00539228

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.

A. Legay, S. Sedwards, and L. Traonouez, Plasma lab: a modular statistical model checking platform, International Symposium on Leveraging Applications of Formal Methods, pp.77-93, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01387435

E. T. Jaynes, Probability theory: the logic of science, 2003.

T. Hérault, R. Lassaigne, F. Magniette, and S. Peyronnet, Approximate probabilistic model checking, Proceedings of the 5th International Conference on Verification, Model Checking, and Abstract Implementations, ser. Lecture Notes in Computer Science, vol.2937, pp.73-84, 2004.

K. Sen, M. Viswanathan, and G. Agha, On statistical model checking of stochastic systems, 17th International Conference on Computer Aided Verification, ser. Lecture Notes in Computer, vol.3576, pp.266-280, 2005.

A. Pnueli, The temporal logic of programs, Proc. of the 18th Annual Symposium on Foundations of Computer Science, pp.46-57, 1977.

P. Zuliani, A. Platzer, and E. M. Clarke, Bayesian statistical model checking with application to stateflow/simulink verification, Formal Methods in System Design, 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.

R. Labayrade, C. Royere, and D. Aubert, Experimental assessment of the rescue collision-mitigation system, Vehicular Technology, vol.56, pp.89-102, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00362244

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.

A. Paigwar, O. Erkent, C. Wolf, and C. Laugier, Attentional pointnet for 3d-object detection in point clouds, Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition Workshops, pp.0-0, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02160868

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.

J. Petit, B. Stottelaar, M. Feiri, and F. Kargl, Remote attacks on automated vehicles sensors: Experiments on camera and lidar, Black Hat Europe, vol.11, p.2015, 2015.

K. Witowski and N. Stander, Parameter identification of hysteretic models using partial curve mapping, 12th AIAA Aviation Technology, Integration, and Operations (ATIO) Conference and, p.14

, AIAA/ISSMO Multidisciplinary Analysis and Optimization Conference, p.5580, 2012.