Search for persons
X
?
Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation ,
1
Simulation-Based Elicitation of Accuracy Requirements for t..:
, In:
?
2020 IEEE Intelligent Vehicles Symposium (IV) ,
2
Application of Evolutionary Algorithms and Criticality Metr..:
, In:
?
2019 IEEE Intelligent Transportation Systems Conference (ITSC) ,
3