| Title: |
Validation of Perception and Decision-Making Systems for Autonomous Driving via Statistical Model Checking |
| Authors: |
Barbier, Mathieu; Renzaglia, Alessandro; Quilbeuf, Jean; Rummelhard, Lukas; Paigwar, Anshul; Laugier, Christian; Legay, Axel; Ibanez-Guzman, Javier; Simonin, Olivier |
| Source: |
2019 IEEE Intelligent Vehicles Symposium (IV) Intelligent Vehicles Symposium (IV), 2019 IEEE. :252-259 Jun, 2019 |
| Relation: |
2019 IEEE Intelligent Vehicles Symposium (IV) |
| Database: |
IEEE Xplore Digital Library |