Runtime Verification of Correct-by-Construction Driving Maneuvers.

Alexander Kittelmann Tobias Runge Tabea Bordis Ina Schaefer

Published in: ISoLA (1) (2022)

Keyphrases

model checking
computer vision
control strategy
formal analysis
person identification
real world
information retrieval
e learning
formal verification
verification method
false acceptance