A perceptiondriven autonomous urban vehicle, Journal of Field Robotics, vol.25, issue.10, pp.727-774, 2008. ,
Autonomous driving in urban environments: Boss and the urban challenge, Journal of Field Robotics, vol.25, issue.8, pp.425-466, 2008. ,
Probabilistic model checking of robots deployed in extreme environments, 2018. ,
, Prism
Online verification of automated road vehicles using reachability analysis, IEEE Transactions on Robotics, vol.30, issue.4, pp.903-918, 2014. ,
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
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
A survey on motion prediction and risk assessment for intelligent vehicles, ROBOMECH journal, vol.1, issue.1, p.1, 2014. ,
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
Probabilistic grid-based collision risk prediction for driving application, International Synposium on Experimental Robotics, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01011808
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
CARLA: An open urban driving simulator, Proceedings of the 1st Annual Conference on Robot Learning, pp.1-16, 2017. ,
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
Probability theory: the logic of science, 2003. ,
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. ,
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. ,
The temporal logic of programs, Proc. of the 18th Annual Symposium on Foundations of Computer Science, pp.46-57, 1977. ,
Bayesian statistical model checking with application to stateflow/simulink verification, Formal Methods in System Design, 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. ,
Experimental assessment of the rescue collision-mitigation system, Vehicular Technology, vol.56, pp.89-102, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-00362244
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. ,
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
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. ,
Remote attacks on automated vehicles sensors: Experiments on camera and lidar, Black Hat Europe, vol.11, p.2015, 2015. ,
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.