Login / Signup
Formal Verification of a Fail-Operational Automotive Driving System.
Tobias Schmid
Stefanie Schraufstetter
Jonas Fritzsch
Dominik Hellhake
Greta Koelln
Stefan Wagner
Published in:
CoRR (2021)
Keyphrases
</>
formal verification
model checking
bounded model checking
model checker
automated verification
automotive industry
symbolic model checking
program slicing
functional verification
autonomous driving
driving simulator
decision making
expert systems
software development
intelligent vehicles