Dynamic contracts for distributed temporal logic control of traffic networks.
Eric S. KimSadra SadraddiniCalin BeltaMurat ArcakSanjit A. SeshiaPublished in: CDC (2017)
Keyphrases
- temporal logic
- model checking
- dynamic constraints
- concurrent systems
- high speed networks
- modal logic
- computer networks
- distributed systems
- satisfiability problem
- network resources
- linear temporal logic
- computation tree logic
- verification method
- traffic engineering
- internet traffic
- belief revision
- network traffic
- network structure
- dynamic environments
- multi agent
- temporal knowledge
- traffic flow
- supply chain
- formal verification
- model checker
- formal specification
- traffic signal
- bounded model checking