Formal Specification and Model Checking of an Autonomous Vehicle Merging Protocol.
Minxuan LiuDang Duy BuiDuong Dinh TranKazuhiro OgataPublished in: QRS Companion (2021)
Keyphrases
- formal specification
- model checking
- autonomous vehicles
- model checker
- protocol specification
- temporal logic
- specification language
- path planning
- formal verification
- process algebra
- formal methods
- symbolic model checking
- obstacle avoidance
- computation tree logic
- transition systems
- concurrent systems
- robot control
- epistemic logic
- verification method
- multiagent systems
- temporal properties
- autonomous agents
- dynamic environments
- real time
- communication protocol
- communication networks