User: Guest  Login
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