Validation of Perception and Decision-Making Systems for Autonomous Driving via Statistical Model Checking.
Mathieu BarbierAlessandro RenzagliaJean QuilbeufLukas RummelhardAnshul PaigwarChristian LaugierAxel LegayJavier Ibañez-GuzmánOlivier SimoninPublished in: IV (2019)
Keyphrases
- model checking
- decision making
- temporal logic
- automated verification
- formal methods
- finite state machines
- reactive systems
- autonomous driving
- formal verification
- temporal properties
- asynchronous circuits
- artifact centric
- finite state
- model checker
- timed automata
- reachability analysis
- computation tree logic
- grand challenge
- concurrent systems
- verification method
- formal specification
- distributed systems
- process algebra
- knowledge based systems
- deterministic finite automaton
- bounded model checking
- epistemic logic