Formal Specification and Model Checking of the Lim-Jeong-Park-Lee Autonomous Vehicle Intersection Control Protocol (S).
Moe Nandi AungYati PhyoKazuhiro OgataPublished in: SEKE (2019)
Keyphrases
- formal specification
- model checking
- autonomous vehicles
- model checker
- protocol specification
- temporal logic
- process algebra
- path planning
- formal methods
- formal verification
- specification language
- robot control
- concurrent systems
- temporal properties
- symbolic model checking
- obstacle avoidance
- multiagent systems
- bounded model checking
- verification method
- transition systems
- real time
- asynchronous circuits
- autonomous agents
- epistemic logic
- control system
- mobile robot