Sign in
Formal methods to comply with rules of the road in autonomous driving: State of the art and grand challenges.
Noushin Mehdipour
Matthias Althoff
Radboud J. Duintjer Tebbens
Calin Belta
Published in:
Autom. (2023)
Keyphrases
</>
autonomous driving
grand challenge
formal methods
grand challenges
formal specification
knowledge based systems
mid term
artificial intelligence
model checking
software engineering
production rules
stereo vision
urban traffic
business rules
modeling language
vision algorithms
databases