A Double-Level Model Checking Approach for an Agent-Based Autonomous Vehicle and Road Junction Regulations.
Gleifer Vaz AlvesLouise Abigail DennisMichael FisherPublished in: J. Sens. Actuator Networks (2021)
Keyphrases
- model checking
- autonomous vehicles
- temporal logic
- obstacle avoidance
- temporal properties
- path planning
- lane detection
- symbolic model checking
- model checker
- formal verification
- transition systems
- process algebra
- finite state
- automated verification
- verification method
- reachability analysis
- formal specification
- multiagent systems
- computation tree logic
- pspace complete
- robot control
- formal methods
- timed automata
- bounded model checking
- asynchronous circuits
- mobile robot
- concurrent systems
- linear temporal logic
- hough transform
- satisfiability problem
- autonomous agents
- deterministic finite automaton
- real time