Benutzer: Gast  Login
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