Towards a Mathematical Science of Computation, pp.35-56, 1993. ,
Formal Methods for Safe and Secure Computer Systems -BSI Study 875. BSI German Federal Office for Information Security, 2013. ,
Autonomous driving in urban environments: Boss and the urban challenge, Journal of Field Robotics, vol.25, issue.8, pp.425-466, 2008. ,
A perceptiondriven autonomous urban vehicle, Journal of Field Robotics, vol.25, issue.10, pp.727-774, 2008. ,
Formal verification of autonomous vehicle platooning, Science of Computer Programming, vol.02, p.2016 ,
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
Probabilistic model checking of robots deployed in extreme environments, 2018. ,
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. ,
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
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. ,
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
Using occupancy grids for mobile robot perception and navigation, Computer, vol.22, issue.6, pp.46-57, 1989. ,
Sensor fusion in certainty grids for mobile robots, AI magazine, vol.9, issue.2, p.61, 1988. ,
, , 2013.
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. ,
An mcmc-based particle filter for tracking multiple interacting targets, Computer Vision-ECCV, pp.279-290, 2004. ,
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. ,
Probabilistic grid-based collision risk prediction for driving application, International Synposium on Experimental Robotics, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01011808
CARLA: An open urban driving simulator, Proceedings of the 1st Annual Conference on Robot Learning, pp.1-16, 2017. ,
A hierarchy of temporal properties, Proceedings of the Annual ACM Symposium on Principles of Distributed Computing, pp.377-410, 1990. ,
Verifying temporal properties without temporal logic, ACM Transactions on Programming Languages and Systems (TOPLAS), vol.11, pp.147-167, 2001. ,