Temporal logic for finding undesired behaviors of autonomous vehicles in a state space explored by dynamic analysis
| Title: | Temporal logic for finding undesired behaviors of autonomous vehicles in a state space explored by dynamic analysis |
|---|---|
| Authors: | Minnerup, Pascal; Knoll, Alois |
| Source: | 2016 IEEE Intelligent Vehicles Symposium (IV) Intelligent Vehicles Symposium (IV), 2016 IEEE. :1248-1253 Jun, 2016 |
| Relation: | 2016 IEEE Intelligent Vehicles Symposium (IV) |
| Database: | IEEE Xplore Digital Library |