Run-time model checking of interaction and deontic models for multi-agent systems.
Nardine OsmanDavid RobertsonChristopher WaltonPublished in: AAMAS (2006)
Keyphrases
- model checking
- temporal logic
- multi agent systems
- finite state machines
- coalition logic
- automated verification
- formal specification
- finite state
- reactive systems
- computation tree logic
- epistemic logic
- formal methods
- bounded model checking
- artificial intelligence
- model checker
- formal verification
- pspace complete
- asynchronous circuits
- verification method
- process algebra
- reachability analysis
- modal logic
- heuristic search
- deterministic finite automaton