- Title:
Temporal logic for finding undesired behaviors of autonomous vehicles in a state space explored by dynamic analysis
- Document type:
- Konferenzbeitrag
- Author(s):
- Minnerup, Pascal; Knoll, Alois
- Pages contribution:
- 1248-1253
- Book / Congress title:
- 2016 IEEE Intelligent Vehicles Symposium (IV)
- Publisher:
- IEEE
- Date of publication:
- 01.06.2016
- Year:
- 2016
- Fulltext / DOI:
- doi:10.1109/ivs.2016.7535550
- BibTeX