Model checking in dense real-time. Information and Computation, vol.104, pp.2-34, 1993. ,
Automata for modelling real-time systems, Proceedings of the International Colloquium on Automata, Languages and Programming (ICALP'90), vol.443, pp.322-335, 1990. ,
A theory of timed automata, Theoretical computer science, vol.126, issue.2, pp.183-235, 1994. ,
Modeling and checking robustness of communicating autonomous vehicles, Distributed Computing and Artificial Intelligence, 14th International Conference, pp.173-180, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01567627
Combination of simulation and modelchecking for the analysis of autonomous vehicles' behaviors: a case study, Multi-Agent Systems and Agreement Technologies, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01918518
Reliability analysis of DSRC wireless communication for vehicle safety applications, IEEE Intelligent Transportation Systems Conference, pp.355-362, 2006. ,
Evaluation of the ieee 802.11p mac method for vehicle-to-vehicle communication, IEEE Vehicular Technology Conference, pp.1-5, 2008. ,
Vehicle-to-vehicle wireless communication protocols for enhancing highway traffic safety, IEEE Communications Magazine, vol.44, issue.1, pp.74-82, 2006. ,
Unambiguous metrics for evaluation of traffic networks, IEEE Intelligent Transportation Systems Conference, pp.1277-1282, 2010. ,
Model Checking, 1999. ,
Abstraction strategies for computing travelling or looping durations in networks of timed automata, 14th International Conference, vol.9884, pp.140-156, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01364726
Handbook of theoretical computer science (vol. b). chapter Temporal and Modal Logic, pp.995-1072, 1990. ,
Journal of Field Robotics Special Issue on the 2007 DARPA Urban Challenge, Part I, vol.25, pp.425-466, 2008. ,
Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots, International Conference on Formal Engineering Methods (ICFEM 2016), 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01346080
Enabling safe autonomous driving in real-world city traffic using multiple criteria decision making, IEEE Intelligent Transportation Systems Magazine, vol.3, issue.1, pp.4-17, 2011. ,
Maneuver-based trajectory planning for highly autonomous vehicles on real road with traffic and driver interaction, IEEE Transactions on Intelligent Transportation Systems, vol.11, issue.3, pp.589-606, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00653650
Autonomous Vehicle Technology. A Guide for Policymakers, Research Reports. RAND Corporation, 2016. ,
Formal verification of autonomous vehicle platooning, Special issue on Automated Verification of Critical Systems, vol.148, pp.88-106, 2015. ,
Real-time motion planning methods for autonomous on-road driving: State-of-the-art and future research directions, Transportation Research Part C: Emerging Technologies, vol.60, pp.416-442, 2015. ,
dreach: ? -reachability analysis for hybrid systems, Tools and Algorithms for the Construction and Analysis of Systems, pp.200-205, 2015. ,
Real-time motion planning with applications to autonomous urban driving, IEEE Transactions on Control Systems Technology, vol.17, issue.5, pp.1105-1118, 2009. ,
Robust vehicle localization in urban environments using probabilistic maps, IEEE International Conference on Robotics and Automation, pp.4372-4378, 2010. ,
Planning long dynamically feasible maneuvers for autonomous vehicles, The International Journal of Robotics Research, vol.28, issue.8, pp.933-945, 2009. ,
Extended time-to-collision measures for road traffic safety assessment, Accident Analysis & Prevention, vol.33, issue.1, pp.89-97, 2001. ,
APEX : Autonomous vehicle plan verification and execution, SAE World Congress, 2016. ,
European train control system: A case study in formal verification, Formal Methods and Software Engineering, pp.246-265, 2009. ,
Multi-robot planning : a timed automata approach, IEEE International Conference on Robotics and Automation, vol.5, pp.4417-4422, 2004. ,
Trajectory and Floating-Car Data, pp.7-12, 2013. ,
, Uppaal
A comparison of headway and time to collision as safety indicators, Accident Analysis & Prevention, vol.35, issue.3, pp.427-433, 2003. ,
A survey of inter-vehicle communication protocols and their applications, IEEE Communications Surveys Tutorials, vol.11, issue.2, pp.3-20, 2009. ,
An introduction to multi-agent systems -Second Edition, 2009. ,
Dynamic trajectory planning for vehicle autonomous driving, IEEE International Conference on Systems, Man, and Cybernetics, pp.4161-4166, 2013. ,