Probabilistic Collision Risk Estimation for Autonomous Driving: Validation via Statistical Model Checking.
Anshul PaigwarEduard BaranovAlessandro RenzagliaChristian LaugierAxel LegayPublished in: IV (2020)
Keyphrases
- model checking
- autonomous driving
- temporal logic
- formal verification
- automated verification
- finite state
- grand challenge
- computation tree logic
- temporal properties
- formal specification
- timed automata
- symbolic model checking
- model checker
- reachability analysis
- bounded model checking
- pspace complete
- verification method
- stereo vision
- transition systems
- asynchronous circuits
- reactive systems
- cellular automata
- process algebra
- concurrent systems
- epistemic logic
- vision algorithms
- bayesian networks
- formal methods
- heuristic search
- deterministic finite automaton
- alternating time temporal logic