T. Bokc, M. Maurer, and G. Farber, Validation of the vehicle in the loop (vil); a milestone for the simulation of driver assistance systems, 2007 IEEE Intelligent Vehicles Symposium, pp.612-617, 2007.

T. Hwang, J. Roh, K. Park, J. Hwang, K. H. Lee et al., Development of hils systems for active brake control systems, SICE-ICASE International Joint Conference, pp.4404-4408, 2006.

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

-. Enable, Validation and testing of complex automated systems, 2016.

M. G. Hinchey, J. L. Rash, and C. A. Rouff, Verification and validation of autonomous systems, Proceedings 26th Annual NASA Goddard Software Engineering Workshop, pp.136-144, 2001.

S. Ulbrich, D. Kappler, T. Asfour, N. Vahrenkamp, A. Bierbaum et al., The opengrasp benchmarking suite: An environment for the comparative analysis of grasping and dexterous manipulation, 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems, pp.1761-1767, 2011.

M. Althoff, M. Koschi, and S. Manzinger, Commonroad: Composable benchmarks for motion planning on roads, 2017 IEEE Intelligent Vehicles Symposium (IV), pp.719-726, 2017.

. Waymo, Waymo s safety report: how we are building a safer driver, 2017.

S. Shalev-shwartz, S. Shammah, and A. Shashua, On a formal model of safe and scalable self-driving cars, 2017.

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, Proceedings of the 17th International Conference on Computer Aided Verification, ser. Lecture Notes in Computer, vol.3576, pp.266-280, 2005.

K. Yi and J. Chung, Nonlinear brake control for vehicle cw/ca systems, IEEE/ASME Transactions on Mechatronics, vol.6, issue.1, pp.17-25, 2001.

A. Pnueli, The temporal logic of programs, Proc. of the 18th Annual Symposium on Foundations of Computer Science, ser. SFCS '77, 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, vol.43, issue.2, pp.338-367, 2013.

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. Bessì-ere, E. Mazer, J. Ahuactzin-larios, and K. Mekhnacha, , 2013.

M. Yguel, O. Aycard, and C. Laugier, Efficient gpu-based construction of occupancy grids using several laser range-finders, International Journal of Vehicle Autonomous Systems, vol.6, pp.105-110, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00182008

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

T. Fortmann, Y. Bar-shalom, and M. Scheffe, Multi-target tracking using joint probabilistic data association, Decision and Control including the Symposium on Adaptive Processes, 1980 19th IEEE Conference on, 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, IEEE Transactions on, vol.56, issue.1, pp.89-102, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00505947

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`-egre, 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

R. Grewe, M. Komar, A. Hohm, S. Lüke, and H. Winner, Evaluation method and results for the accuracy of an automotive occupancy grid, 2012 IEEE International Conference on Vehicular Electronics and Safety, pp.19-24, 2012.

L. P. Kaelbling, M. L. Littman, and A. R. Cassandra, Planning and acting in partially observable stochastic domains, Artificial intelligence, vol.101, issue.1, pp.99-134, 1998.

D. Silver and J. Veness, Monte-carlo planning in large pomdps, Advances in Neural Information Processing Systems, vol.23, pp.2164-2172, 2010.

W. Liu, S. W. Kim, S. Pendleton, and M. H. Ang, Situation-aware decision making for autonomous driving on urban road using online pomdp, 2015 IEEE Intelligent Vehicles Symposium (IV), pp.1126-1133, 2015.

M. Barbier, C. Laugier, O. Simonin, and J. Ibañez-guzmán, A pomdpbased intention-expectation decision-making and key performance indicators for road intersections crossing, 2018.

S. Lefèvre, C. Laugier, and J. Ibañez-guzmán, Risk assessment at road intersections: Comparing intention and expectation, 2012 IEEE Intelligent Vehicles Symposium, pp.165-171, 2012.

M. Barbier, C. Laugier, O. Simonin, and J. Ibañez-guzmán, Classification of drivers manoeuvre for road intersection crossing with synthethic and real data, 2017 IEEE Intelligent Vehicles Symposium (IV), pp.224-230, 2017.

. Oktal, Scaner studio