Mathieu Barbier, Alessandro Renzaglia, Jean Quilbeuf, Lukas Rummelhard, Anshul Paigwar, Christian Laugier, Axel Legay, Javier Ibañez-Guzmán, Olivier Simonin 0001. Validation of Perception and Decision-Making Systems for Autonomous Driving via Statistical Model Checking. In 2019 IEEE Intelligent Vehicles Symposium, IV 2019, Paris, France, June 9-12, 2019. pages 252-259, IEEE, 2019. [doi]
Abstract is missing.