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. ,
Development of hils systems for active brake control systems, SICE-ICASE International Joint Conference, pp.4404-4408, 2006. ,
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
Validation and testing of complex automated systems, 2016. ,
Verification and validation of autonomous systems, Proceedings 26th Annual NASA Goddard Software Engineering Workshop, pp.136-144, 2001. ,
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. ,
Commonroad: Composable benchmarks for motion planning on roads, 2017 IEEE Intelligent Vehicles Symposium (IV), pp.719-726, 2017. ,
Waymo s safety report: how we are building a safer driver, 2017. ,
On a formal model of safe and scalable self-driving cars, 2017. ,
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, Proceedings of the 17th International Conference on Computer Aided Verification, ser. Lecture Notes in Computer, vol.3576, pp.266-280, 2005. ,
Nonlinear brake control for vehicle cw/ca systems, IEEE/ASME Transactions on Mechatronics, vol.6, issue.1, pp.17-25, 2001. ,
The temporal logic of programs, Proc. of the 18th Annual Symposium on Foundations of Computer Science, ser. SFCS '77, pp.46-57, 1977. ,
Bayesian statistical model checking with application to stateflow/simulink verification, Formal Methods in System Design, vol.43, issue.2, pp.338-367, 2013. ,
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.
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
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
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. ,
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, IEEE Transactions on, vol.56, issue.1, pp.89-102, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-00505947
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
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. ,
Planning and acting in partially observable stochastic domains, Artificial intelligence, vol.101, issue.1, pp.99-134, 1998. ,
Monte-carlo planning in large pomdps, Advances in Neural Information Processing Systems, vol.23, pp.2164-2172, 2010. ,
Situation-aware decision making for autonomous driving on urban road using online pomdp, 2015 IEEE Intelligent Vehicles Symposium (IV), pp.1126-1133, 2015. ,
A pomdpbased intention-expectation decision-making and key performance indicators for road intersections crossing, 2018. ,
Risk assessment at road intersections: Comparing intention and expectation, 2012 IEEE Intelligent Vehicles Symposium, pp.165-171, 2012. ,
Classification of drivers manoeuvre for road intersection crossing with synthethic and real data, 2017 IEEE Intelligent Vehicles Symposium (IV), pp.224-230, 2017. ,
Scaner studio ,