Model Checking of Intersection Traffic Control Protocols.
Yuya NoguchiTatsuhiro TsuchiyaPublished in: ICECCS (2023)
Keyphrases
- model checking
- traffic control
- traffic light
- traffic signal
- temporal logic
- urban traffic
- formal verification
- automated verification
- model checker
- formal specification
- traffic management
- network flow
- traffic flow
- symbolic model checking
- network management
- temporal properties
- verification method
- timed automata
- bounded model checking
- epistemic logic
- computation tree logic
- autonomous vehicles
- formal methods
- transition systems
- traffic signs
- traffic conditions
- communication protocols
- traffic congestion
- intelligent control
- modal logic
- multi agent
- path planning
- linear programming
- fuzzy sets