Formal Verification of Intersection Safety for Automated Driving.

James Haydon Martin Bondu Clovis Eberhart Jérémy Dubut Ichiro Hasuo

Published in: CoRR (2023)

Keyphrases

formal verification
model checking
model checker
bounded model checking
automated verification
semi automated
intelligent vehicles
fully automated
symbolic model checking
traffic accidents
fuel consumption
autonomous driving
program slicing
temporal logic
formal specification