Achieving Distributed Control through Model Checking.
Susanne GrafDoron A. PeledSophie QuintonPublished in: CAV (2010)
Keyphrases
- model checking
- distributed control
- temporal logic
- formal verification
- cooperative
- automated verification
- autonomous agents
- model checker
- temporal properties
- formal specification
- symbolic model checking
- finite state machines
- computation tree logic
- finite state
- multi agent
- control architecture
- bounded model checking
- pspace complete
- transition systems
- partial order reduction
- reachability analysis
- timed automata
- formal methods
- epistemic logic
- verification method
- process algebra
- deterministic finite automaton
- alternating time temporal logic
- concurrent systems
- information exchange
- satisfiability problem
- linear temporal logic
- game theory
- information sharing
- vision system
- asynchronous circuits