Traffic Network Control from Temporal Logic Specifications.
Samuel CooganEbru Aydin GolMurat ArcakCalin BeltaPublished in: CoRR (2014)
Keyphrases
- temporal logic
- concurrent systems
- model checking
- transition systems
- reactive systems
- model checker
- bounded model checking
- traffic network
- formal specification language
- formal specification
- control system
- linear temporal logic
- verification method
- traffic flow
- computation tree logic
- control policy
- dynamic constraints
- dynamic programming
- transportation networks
- control flow
- belief revision