S. M. Veres, N. K. Lincoln, and L. Molnar, Control engineering of autonomous cognitive vehicles -a practical tutorial, pp.1-31, 1920.

, Taxonomy and definitions for terms related to driving automation systems for onroad motor vehicles, vol.19, p.39, 2016.

Y. Mortureux, La sûreté de fonctionnement: méthodes pour maîtriser les risques, vol.9, p.46, 2001.

X. Geng, H. Liang, B. Yu, P. Zhao, L. He et al., A scenario-adaptive driving behavior prediction approach to urban autonomous driving, Applied Sciences, vol.7, issue.4, p.100, 2017.

, on the framework for the deployment of Intelligent Transport Systems in the field of road transport and for interfaces with other modes of transport, Official Journal of the European Union, p.17, 2010.

G. Dimitrakopoulos and P. Demestichas, Intelligent Transportation Systems, IEEE Vehicular Technology Magazine, vol.5, p.17, 2010.

L. Sécurité-routière-en and F. , Bilan de l'accidentalité de l'année 2016, Observatoire National Interministériel de la Sécurité Routière

S. Singh, Critical reasons for crashes investigated in the National Motor Vehicle Crash Causation Survey, vol.18, 2015.

, Nouvelle France industrielle -Véhicule autonome. Government of the French Republic, 2014.

A. Meystel and J. S. Albus, Intelligent Systems: Architecture, Design and Control, 1921.

A. Reschka, G. Bagschik, S. Ulbrich, M. Nolte, and M. Maurer, Ability and skill grpahs for system modeling, online monitoring and decision support for vehicle guidance systems, IEEE Intelligent Vehicles Symposium, p.21, 2015.

S. D. Pendleton, H. Andersen, X. Du, X. Shen, M. Meghjani et al., Perception, planning, control and coordination for autonomous vehicles, Machines, vol.5, issue.1, 1921.

S. Behere and M. Törngren, A functional architecture for autonomous driving, Proceedings of the First International Workshop on Automotive Software Architecture, p.21, 2015.

E. D. Dickmanns, Dynamic vision for perception and contorl of motion, 1921.

S. Ulbrich, A. Reschka, S. Ernst, G. Bagschik, F. Dierkes et al., Towards a functional system architecture for automated vehicles, vol.21, p.22, 2017.

A. Eskandarian, Handbook of intelligent vehicles, 1921.

P. Radecki, M. Campbell, and K. Matzen, All Weather Perception: Joint Data Association, Tracking, and Classification for Autonomous Ground Vehicles, vol.111, p.113, 2016.

J. S. Albus, Features of intelligence required by unmanned ground vehicles, pp.243-252, 2001.

S. Ulbrich, T. Menzel, A. Reschka, F. Schuldt, and M. Maurer, Defining and substantiating the terms scene, situation and scenario for automated driving, IEEE Intelligent Transportation Systems Conference, 2015.

C. Zinoune, Autonomous integrity monitoring of navigation maps on board intelligent vehicles, p.24, 2014.
URL : https://hal.archives-ouvertes.fr/tel-01092628

N. Global, Nissan IDS Concept: Nissan's vision for the future of EVs an autonomous driving, p.24, 2015.

D. González, J. Pérez, V. Milanés, and F. Nashashibi, A review of motion planning techniques for automated vehicles, IEEE Transactions on Intelligent Transportation Systems, vol.17, issue.4, p.25, 2016.

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

N. Kalra, Challenges and approaches to realizing autonomous vehicle safety. RAND Corporation, p.25, 2017.

J. C. Winter, R. Happee, M. H. Martens, and N. A. Stanton, Effects of adaptive cruise control and highly automated driving on workload and situation awareness: a review of the empirical evidence, Transportation Research Part F: Traffic Psychology and Behaviour, vol.27, p.25, 2014.

A. Kesting, M. Treiber, M. Schönhof, and D. Helbing, Adaptive cruise control design for active congestion avoidance, Transportation Research Part C: Emerging Technologies, vol.16, issue.6, p.26, 2008.

D. A. Dickie and L. N. Boyle, Drivers' understanding of adaptive cruise control limitations, Proceedings of the Human Factors and Ergonomics Society Annual Meeting, vol.53, p.118, 2009.

U. S. , Department of Transportation National Highway Traffic Safety Administration (NHTSA), ODI Resume on the subject of Automatic Vehicle Control Systems. Investigation PE 16-007, p.26, 2016.

F. M. Favarò, N. Nader, S. O. Eurich, M. Tripp, and N. Varadaraju, Examining accident reports involving autonomous vehicles in California, PLoS one, vol.12, pp.1-20, 1926.

L. Pike, N. Wegmann, S. Niller, and A. Goodloe, Copilot: monitoring embedded systems, Innovations in Systems and Software Engineering, vol.9, p.29, 2013.

P. Koopman and M. Wagner, Autonomous vehicle safety: An interdisciplinary challenge, IEEE Intelligent Transportation Systems Magazine, vol.9, issue.1, p.30, 2017.

J. Leonard, J. How, S. Teller, M. Berger, S. Campbell et al., A perception-driven autonomous urban vehicle, Journal of Field Robotics, vol.25, issue.10, p.113, 2008.

, Preliminary statement of policy concerning automated vehicles. National Highway Traffic Safety Administration, p.35, 2013.

T. M. Gasser, C. Arzt, M. Ayoubi, A. Bartels, L. Bürkle et al., Legal consequences of an increase in vehicle automation, Report F. Die Bundestanstalt für Straßenwesen, p.35, 2009.

J. A. Michon, A critical view of driver behavior models: What do we know, what should we do, p.36, 1985.

J. Laprie, Dependability of computer systems: concepts, limits, improvements, Sixth International Symposium on Software Reliability Engineering, p.45, 1995.

, Terms and definitions related to quality of service and network performance including dependability, p.46, 1994.

N. G. Leveson, Applying systems thinking to analyze and learn from events, Safety Science, vol.49, issue.1, p.47, 2011.

Y. Cherdantseva and J. Hilton, A reference model of information assurance and security, Eighth International Conference on Availability, Reliability and Security (ARES), p.47, 2013.

J. Bowen and V. Stavridou, Safety-critical systems, formal methods and standards, Software Engineering Journal, vol.8, issue.4, p.56, 1993.

B. Lussier, Tolérance aux fautes dans les systèmes autonomes, p.48, 2007.

N. G. Leveson, Safeware: System Safety and Computers, 1995.

N. Narayana, N. Raju, K. Chaithanya, P. R. Reddy, and M. Rajesh, Failure mode, effects and criticality analysis of 85T dumpers in open cast mines, International Journal of Innovative Research and Development, vol.1, issue.5, p.50, 2012.

D. Lawson, Failure mode, effect and criticality analysis, Electronic Systems Effectiveness and Life Cycle Costing, p.50, 1983.

W. E. Vesely, F. F. Goldberg, N. H. Roberts, and D. F. Haasl, , p.51, 1981.

F. Netjasov and M. Janic, A review of research on risk and safety modelling in civil aviation, Journal of Air Transport Management, vol.14, issue.4, p.52, 2008.

N. Leveson, A new accident model for engineering safer systems, Safety science, vol.42, issue.4, p.52, 2004.

J. Rasmussen, Risk management in a dynamic society: a modelling problem, Safety science, vol.27, issue.2, p.52, 1997.

E. Hollnagel and O. Goteman, The functional resonance accident model, Proceedings of Cognitive System Engineering in Process Plant, p.52, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00614254

C. Perrow, Normal accidents: Living with high risk technologies, p.52, 2011.

M. Hall-may, Ensuring Safety of Systems of Systems, Citeseer, p.52, 2007.

N. Leveson, The drawbacks in using the term 'system of systems, Biomedical Instrumentation & Technology, vol.47, issue.2, p.52, 2013.

T. Ishimatsu, N. G. Leveson, J. Thomas, M. Katahira, Y. Miyamoto et al., Modeling and hazard analysis using STPA, Conference of the International Association for the Advancement of Space Safety, p.53, 2010.

S. Bacherini, A. Fantechi, M. Tempestini, and N. Zingoni, A story about formal methods adoption by a railway signaling manufacturer, FM 2006: Formal Methods, p.53, 2006.

P. Bouyer, Modèles et algorithmes pour la vérification des systèmes temporisés, p.53, 2002.

J. M. Rushby, Automated formal methods enter the mainstream, Communications of the Computer Society of India, vol.13, p.56, 2007.

P. Cousot, Abstract interpretation based formal methods and future challenges, p.54, 2001.

E. M. Clarke, W. Klieber, M. Nová?ek, and P. Zuliani, Model checking and the state explosion problem, Tools for Practical Software Verification, p.55, 2012.

J. Rushby, Formal methods and the certification of critical systems, SRI International, vol.55, p.56, 1993.

J. P. Bowen and M. G. Hinchey, Seven more myths of formal methods, IEEE Software, vol.12, issue.4, p.55, 1995.

S. Liu, V. Stavridou, and B. Dutertre, The practice of formal methods in safetycritical systems, Journal of Systems and Software, vol.28, issue.1, p.57, 1995.

M. G. Hinchey, Confessions of a formal methodist, Proceedings of the seventh Australian workshop conference on Safety critical systems and software, p.56, 2003.

J. Woodcock, P. G. Larsen, J. Bicarregui, and J. Fitzgerald, Formal methods: Practice and experience, ACM Computing Surveys (CSUR), vol.41, issue.4, p.56, 2009.

J. P. Bowen and M. G. Hinchey, The use of industrial-strength formal methods, The Twenty-First Annual International Computer Software and Applications Conference (COMPSAC), p.57, 1997.

C. Newcombe, T. Rath, F. Zhang, B. Munteanu, M. Brooker et al., Use of Formal Methods at Amazon Web Services, p.57, 2014.

D. Sidhu, A. Chung, and T. P. Blumer, Experience with formal methods in protocol development, ACM SIGCOMM Computer Communication Review, vol.21, issue.2, p.57, 1991.

R. Rajamani, Vehicle dynamics and control, p.57, 2011.

D. Fox, W. Burgard, and S. Thrun, The dynamic window approach to collision avoidance, IEEE Robotics & Automation Magazine, vol.4, issue.1, p.57, 1997.

A. Vahidi and A. Eskandarian, Research advances in intelligent collision avoidance and adaptive cruise control, IEEE Transactions on Intelligent Transportation Systems, vol.4, issue.3, pp.143-153, 2003.

K. Suzuki and H. Jansson, An analysis of driver's steering behaviour during auditory or haptic warnings for the designing of lane departure warning system, JSAE Review, vol.24, issue.1, pp.65-70, 2003.

S. Ishida and J. E. Gayko, Development, evaluation and introduction of a lane keeping assistance system, IEEE Intelligent Vehicles Symposium, p.58, 2004.

T. Brandt, R. Stemmer, and A. Rakotoniarainy, Affordable visual driver monitoring system for fatigue and monotony, IEEE International Conference on Systems, Mans and Cybernetics, vol.7, p.58, 2004.

S. M. Loos, A. Platzer, and L. Nistor, Adaptive cruise control: Hybrid, distributed, and now formally verified, International Symposium on Formal Methods, vol.6664, p.58, 2011.

P. Nilsson, O. Hussien, Y. Chen, A. Balkan, M. Rungger et al., Preliminary results on correct-by-construction control software synthesis for adaptive cruise control, 53rd Annual Conference on Decision and Control (CDC), p.59, 2014.

N. Kalra and S. M. Paddock, Driving to safety: How many miles of driving would it take to demonstrate autonomosu vehicle reliability, Transportation Research Part A: Policy and Practice, p.59, 2016.

M. R. Zofka, S. Klemm, F. Kuhnt, T. Schamm, and J. M. Zöllner, Testing and validating high level components for automated driving: simulation framework for traffic scenarios, Intelligent Vehicles Symposium, p.59, 2016.

M. R. Zofka, F. Kuhnt, R. Kohlhaas, C. Rist, T. Schamm et al., Datadriven simulation and parametrization of traffic scenarios for the development of advanced driver assistance systems, Information Fusion (Fusion), pp, p.59, 2015.

P. Koopman and M. Wagner, Challenges in autonomous vehicle testing and validation, SAE International Journal Transportation Safety, p.59, 2016.

C. Bergenhem, R. Johansson, A. Söderberg, J. Nilsson, J. Tryggvesson et al., How to reach complete safety requirement refinement for autonomous vehicles, Critical Automotive Applications: Robustness & Safety, p.59, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01190734

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

S. Alvarez, Y. Page, and F. Guarnieri, Analyse des risques pour la conception d'un systeème de conduite automatisèe avec stamp, 2A-Risques liés aux nouveaux usages-architectures robustes 1, p.60, 2016.

B. Johnson, F. Havlak, H. Kress-grazit, and M. Campbell, Experimental evaluation and formal analysis of high-level tasks with dynamic obstacle anticipation on a full sized autonomous vehicle, Journal of Field Robotics, vol.34, issue.5, p.60, 2017.

P. Feth, D. Schneider, and R. Adler, A conceptual safety supervisor deinifion and evaluation framework for autonomous systems, International Conference on Computer Safety, Reliability and Security, vol.10488, p.60, 2017.

C. Fan, B. Qi, and S. Mitra, Road to safe autonomy with data and formal reasoning, p.60, 2017.

K. Kim and P. R. Kumar, An MPC-based approach to provable system-wide safety and liveness of autonomous ground traffic, p.60, 2014.

A. Rizaldi, F. Immler, and M. Althoff, A formally verified checker of the safe distance traffic rules for autonomous vehicles, NASA Formal Methods Symposium, vol.9690, p.60, 2016.

M. Kamali, L. A. Dennis, O. Mcaree, M. Fisher, and S. M. Veres, Formal verification of autonomous vehicle platooning, Science of Computer Programming, vol.148, p.60, 2017.

N. , Ethical decision making during automated vehicle crashes, Transportation Research Record: Journal of the Transportation Research Board, p.60, 2014.

S. Shalev-schwartz, S. Shammah, and A. Shashua, Safe, multi-agent, reinforcement learning for autonomous driving, p.60, 2016.

G. Katz, C. Barrett, D. L. Dill, K. Julian, and M. J. Kochenderfer, Towards proving the adversarial robustness of deep neural networks, p.60, 2017.

S. Jha and V. Raman, Automated synthesis of safe autonomous vehicle control under perception uncertainty, NASA Formal Methods, vol.9690, p.60, 2016.

R. Macallister, Y. Gal, M. Van-der-wilk, A. Shah, R. Cipolla et al., Concrete problems for autonomous vehicle safety: advantages of Bayesian deep learning, Internation Joint Conferences on Artificial Intelligence, p.60, 2017.

W. J. Stewart, Introduction to the numerical solutions of Markov chains, p.63, 1994.

M. L. Puterman, Markov decision processes: discrete stochastic dynamic programming, p.63, 1994.

M. Kwiatkowska, G. Norman, R. Segala, and J. Sproston, Automatic verification of real-time systems with discrete probability distributions, Theoretical Computer Science, vol.282, issue.1, p.63, 2002.

C. Eisentraut, H. Hermanns, and L. Zhang, On probabilistic automata in continuous time, Logic in Computer Science (LICS), 2010 25th Annual IEEE Symposium on, p.63, 2010.

N. Bertrand, P. Bouyer, . Th, Q. Brihaye, C. Menet et al., Stochastic timed automata, Logical Methods in Computer Science, vol.10, issue.4, p.63, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01102368

M. Kwiatkowska, G. Norman, and J. Sproston, Probabilistic model checking of deadline properties in the IEEE 1394 FireWire root contention protocol, Formal Aspects of Computing, vol.14, issue.3, pp.295-318, 2003.

M. Kwiatkowska, G. Norman, and D. Parker, Prism 4.0: Verification of probabilistic real-time systems, Computer aided verification, vol.6806, p.63, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00648035

M. A. Marsan, G. Conte, and G. Balbo, A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems, ACM Trans. Comput. Syst, vol.2, issue.2, p.63, 1984.

M. K. Molloy, Discrete time stochastic Petri nets, IEEE Trans. Software Eng, vol.11, issue.4, p.63, 1985.

E. Vicario, L. Sassoli, and L. Carnevali, Using stochastic state classes in quantitative evaluation of dense-time reactive systems, IEEE Trans. Software Eng, vol.35, issue.5, p.63, 2009.

B. Berthomieu and M. Diaz, Modeling and verification of time dependent systems using time Petri nets, IEEE trans. on Soft. Eng, vol.63, issue.3, p.83, 1991.

B. Berthomieu and M. Menasche, An enumerative approach for analyzing time Petri nets, Information Processing: proceedings of the IFIP congress 1983, vol.9, p.83, 1983.

J. B. Dugan, K. S. Trivedi, R. M. Geist, and V. F. Nicola, Extended stochastic Petri nets: Applications and analysis, p.64, 1984.

B. Berthomieu and F. Vernadat, State class constructions for branching analysis of time Petri nets, TACAS'2003, vol.2619, p.87, 2003.

C. Baier and J. Katoen, Principles of model checking, vol.77, p.80, 2008.

G. Norman, D. Parker, and J. Sproston, Model checking for probabilistic timed automata, Formal Methods in System Design, vol.43, issue.2, p.92, 2013.

J. Kim, R. Rajkumar, and M. Jochim, Towards dependable autonomous driving vehicles: a system-level approach, ACM SIGBED Review, vol.10, issue.1, p.101, 2013.

M. Gao and M. Zhou, Control strategy selection for autonomous vehicles in a dynamic environment, International Conference on Systems, Man and Cybernetics, p.93, 2005.

C. Tessier, C. Cariou, C. Debain, F. Chausse, R. Chapuis et al., A real-time, multi-sensor architecture for fusion of delayed observations: application to vehicle localization, Intelligent Transportation Systems Conference, p.93, 2006.

B. Johnson and H. Kress-gazit, Probabilistic analysis of correctness of high-level robot behaviour with sensor error, Robotics: Science and Systems, p.94, 2011.

J. Fu, N. Atanasov, U. Topcu, and G. J. Pappas, Optimal temporal logic planning in probabilistic semantic maps, International Conference on Robotics and Automation, p.94, 2016.

J. Van-brummelen, M. O'brien, D. Gruyer, and H. Najjaran, Autonomous vehicle perception: The technology of today and tomorrow, Transportation Research Part C: Emerging Technologies, p.94, 2018.

R. H. Rasshofer and K. Gresser, Automotive radar and lidar systems for next generation driver assistance functions, Advances in Radio Science, vol.3, p.94, 2005.

D. Gruyer, V. Magnier, K. Hamdi, L. Claussman, O. Orfila et al., Perception, information processing and modeling: Critical stages for autonomous driving applications, Annual Reviews in Control, p.94, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01671375

M. M. Kokar, J. A. Tomasik, and J. Weyman, Formalizing classes of information fusion systems, Information Fusion, vol.5, issue.3, p.95, 2004.

M. M. Kokar, K. Baclawski, and H. Gao, Category theory-based synthesis of a higher-level fusion algorithm: An example," in Information Fusion, p.95, 2006.

Y. Qiao, N. Wu, and Z. Mengchu, Petri net-based real-time scheduling of timeconstrained single-arm cluster tools with activity time variation, International Conference on Robotics and Automation, p.95, 2012.

H. Hu, Y. Yang, Y. Liu, and C. Chen, Supervisor design and simplification for automated manufacturing systems using colored Petri nets, International Conference on Robotics and Automation, p.95, 2015.

Y. Emzivat, B. Delahaye, D. Lime, and O. H. Roux, Probabilistic time Petri nets," in Application and Theory of Petri Nets and Concurrency, p.95, 2016.

A. Geiger, P. Lenz, and R. Urtasun, Are we ready for autonomous driving? the KITTI vision benchmark suite, Conference on Computer Vision and Pattern Recognition, p.96, 2012.

E. Ohn-bar and M. M. Trivedi, Are all objects equal? Deep spatio-temporal importance prediction in driving videos, Pattern Recognition, p.97, 2017.

T. R. Gruber, Toward principles for the design of ontologies used for knowledge sharing, International Journal of Human-Computer Studies, p.97, 1995.

A. Armand, Situation Understanding and Risk Assessment Framework for Preventive Driver Assistance, p.97, 2016.
URL : https://hal.archives-ouvertes.fr/tel-01421917

B. Khaleghi, A. M. Khamis, F. Karray, and S. N. Razavi, Multisensor data fusion: A review of the state-of-the-art, Information Fusion, vol.14, issue.1, p.107, 2013.

H. F. Durrant-whyte, Sensor models and multisensor integration, International Journal of Robotics Research, vol.7, issue.6, p.102, 1988.

J. Moras, V. Cherfaoui, and P. Bonnifait, Credibilist occupancy grids for vehicle perception in dynamic environments, International Conference on Robotics and Automation, p.102, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00615303

C. Laugier, I. E. Paromtchik, M. Perrollaz, M. Yong, J. Yoder et al., Probabilistic analysis of dynamic scenes and collision risks assessment to improve driving safety, Intelligent Transport Systems Magazine, vol.3, issue.4, p.102, 2011.

W. Zhao, T. Fang, and Y. Jiang, Data fusion using improved Dempster-Shafer evidence theory for vehicle detection, Fuzzy Systems and Knowledge Discovery, p.103, 2007.

M. E. El-najjar and P. Bonnifait, A road-matching method for precise vehicle localization using belief theory and Kalman filtering, Autonomous Robots, vol.19, issue.2, p.103, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00172637

D. Lime, O. H. Roux, C. Seidner, and L. Traonouez, Romeo: A parametric model-checker for Petri nets with stopwatches, Tools and Algorithms for the Construction and Analysis of Systems, vol.103, p.112, 2009.

B. Bérard, F. Cassez, S. Haddad, D. Lime, and O. H. Roux, The expressive power of time Petri nets, Theoretical Computer Science, vol.474, issue.103, pp.1-20, 2013.

B. Khaleghi, A. Khamis, F. O. Karray, and S. N. Razavi, Multisensor data fusion: A review of the state-of-the-art, Information Fusion, vol.14, issue.1, pp.28-44, 2013.

F. Bonsignorio and A. P. , Toward replicable and measurable robotics research, vol.22, p.107, 2015.

L. Cholvy, Information evaluation in fusion: a case study," in Information Processing and Management of Uncertainty in Knowledge-Based Systems, p.107, 2004.

. Sae-international, Taxonomy and definitions for terms related to driving automation systems for on-road motor vehicles, vol.110, p.126, 2016.

F. Moutarde, A. Bargeton, A. Herbin, and L. Chanussot, Robust on-vehicle realtime visual detection of American and European speed limit signs, Intelligent Vehicles Symposium, p.111, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00422588

A. S. Huang, Lane estimation for autonomous vehicles using vision and lidar, p.111, 2010.

D. Prajapati and H. J. Galiyawala, A review on moving object detection and tracking, International Journal of Computational Intelligence Research, vol.5, issue.3, p.111, 2015.

D. Pomerleau, Visibility estimation from a moving vehicle using the ralph vision system, Intelligent Transportation Systems Conference, p.111, 1997.

R. Rasshofer, M. Spies, and H. Spies, Influences of weather phenomena on automotive laser radar systems, Advances in Radio Science, vol.9, p.111, 2011.

J. C. Winter, R. Happee, M. H. Martens, and N. A. Stanton, Effects of adaptive cruise control and highly automated driving on workload and situation awareness: A review of the empirical evidence, Transportation Research Part F: Traffic Psychology and Behaviour, vol.27, p.117, 2014.

P. Thiffault and J. Bergeron, Monotony of road environment and driver fatigue: a simulator study, Accident Analysis & Prevention, vol.35, issue.3, p.117, 2003.

C. Gold, D. Damböck, L. Lorenz, and K. Bengler, Take over! How long does it take to get the driver back into the loop?, Proceedings of the Human Factors and Ergonomics Society Annual Meeting, vol.57, pp.1938-1942, 2013.

M. Bahram, M. Aeberhard, and D. Wollherr, Please take over! an analysis and strategy for a driver take over request during autonomous driving, Intelligent Vehicles Symposium (IV), p.118, 2015.

C. Ackermann, R. Isermann, S. Min, and C. Kim, Collision avoidance with automatic braking and swerving, IFAC, vol.47, issue.3, p.118, 2014.

M. Althoff, D. Althoff, D. Wollherr, and M. Buss, Safety verification of autonomous vehicles for coordinated evasive maneuvers, Intelligent Vehicles Symposium, p.119, 2010.

S. Lefevre, C. Laugier, and J. I. Guzman, Risk assessment at road intersections: Comparing intention and expectation, Intelligent Vehicles Symposium, p.119, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00743219

E. Frazzoli, M. Dahleh, and E. Feron, Real-time motion planning for agile autonomous vehicles, American Control Conference, vol.1, p.119, 2001.

J. Park and Ü. Özgüner, Model based controller synthesis using reachability analysis that guarantees the safety of autonomous vehicles in a convoy, International Conference on Vehicular Electronics and Safety, p.119, 2012.

A. Furda and L. B. Vlacic, Enabling safe autonomous driving in real-world city traffic using multiple criteria decision making, p.119, 2011.

P. Stone and M. M. Veloso, Multiagent systems: A survey from a machine learning perspective, Autonomous Robots, p.119, 2000.

G. Weiss, Multiagent systems: a modern approach to distributed artificial intelligence, p.119, 1999.

L. N. Long, S. D. Hanford, O. Janrathitikarn, G. L. Sinsley, and J. A. Miller, A review of intelligent systems software for autonomous vehicles, 2007 IEEE Symposium on Computational Intelligence in Security and Defense Applications, p.119, 2007.

S. M. Veres, L. Molnar, N. K. Lincoln, and C. P. Morice, Autonomous vehicle control systems-a review of decision making, Proceedings of the Institution of Mechanical Engineers, Part I: Journal of Systems and Control Engineering, vol.225, issue.2, p.119, 2011.

R. Van-der-horst and J. Hogema, Time-to-collision and collision avoidance systems, vol.127, p.143, 1993.

L. Rummelhard, A. Nègre, M. Perrollaz, and C. Laugier, Probabilistic grid-based collision risk prediction for driving application, p.129, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01011808

W. Wachenfeld, P. Junietz, R. Wenzel, and H. Winner, The worst-time-to-collision metric for situation identification, Intelligent Vehicles Symposium (IV), 2016.

, IEEE, p.129, 2016.

N. , Ethical decision making during automated vehicle crashes, Transportation Research Record: Journal of the Transportation Research Board, issue.2424, p.132, 2014.

N. G. Leveson, Safeware: System Safety and Computers, p.134, 1995.

M. S. Horswill and F. P. Mckenna, A cognitive approach to situation awareness: Theory and application, ch. Drivers' hazard perception ability: Situation awareness on the road, p.134, 2004.

T. Batz, K. Watson, and J. Beyerer, Recognition of dangerous situations within a cooperative group of vehicles, Intelligent Vehicles Symposium, p.134, 2009.

, Dangerous road section analysis method and dangerous road section analysis device

, System for correcting and providing real-time dangerous road-section information based on device in the car and its method

, Sections of road traffic safety hazard screening methods and systems

E. Moons, T. Brijs, and G. Wets, Identifying hazardous road locations: hot spots versus hot zones, Transactions on Computational Science VI, p.134, 2009.

M. Bíl, R. Andrá?ik, and Z. Jano?ka, Identification of hazardous road locations of traffic accidents by means of kernel density estimation and cluster significance evaluation, Accident Analysis & Prevention, vol.55, issue.134, pp.265-273, 2013.

I. Yamada and J. Thill, Comparison of planar and network k-functions in traffic accident analysis, Journal of Transport Geography, vol.12, issue.2, p.134, 2004.

I. B. Gundogdu, Applying linear analysis methods to gis-supported procedures for preventing traffic accidents: Case study of konya, Safety Science, vol.48, issue.6, p.134, 2010.