- Titel:
Temporal logic for finding undesired behaviors of autonomous vehicles in a state space explored by dynamic analysis
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Minnerup, Pascal; Knoll, Alois
- Seitenangaben Beitrag:
- 1248-1253
- Kongress- / Buchtitel:
- 2016 IEEE Intelligent Vehicles Symposium (IV)
- Verlag / Institution:
- IEEE
- Publikationsdatum:
- 01.06.2016
- Jahr:
- 2016
- Volltext / DOI:
- doi:10.1109/ivs.2016.7535550
- BibTeX