Modelling and Verification of Cooperative Vehicle Infrastructure System at Intersections Based on Timed Automata.
Xinhai ChenWei LiuChang RaoYu ZhangWanling DuPublished in: QRS Companion (2023)
Keyphrases
- timed automata
- model checking
- cooperative
- reachability analysis
- temporal logic
- formal verification
- verification method
- traffic light
- vehicular networks
- multi agent systems
- formal methods
- pedestrian detection
- vehicle detection
- data collection
- game theory
- real time
- theorem proving
- information exchange
- face verification
- detection algorithm
- vehicle speed
- theorem prover
- wireless networks
- real time systems
- distributed systems
- object detection
- state space
- multi agent
- bayesian networks