Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic.
Joeri EngelfrietCatholijn M. JonkerJan TreurPublished in: J. Log. Lang. Inf. (2002)
Keyphrases
- temporal epistemic
- epistemic logic
- multi agent systems
- model checking
- modal logic
- bounded model checking
- temporal logic
- computation tree logic
- inference rules
- formal verification
- dynamic epistemic logic
- multi agent
- logical framework
- multi faceted
- model checker
- mathematical theory
- temporal properties
- linear temporal logic
- autonomous agents
- formal semantics
- situation calculus
- cooperative
- expert systems