Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic.
Joeri EngelfrietCatholijn M. JonkerJan TreurPublished in: ATAL (1998)
Keyphrases
- temporal epistemic
- epistemic logic
- multi agent systems
- model checking
- modal logic
- dynamic epistemic logic
- computation tree logic
- logical framework
- multi faceted
- temporal logic
- inference rules
- multi agent
- autonomous agents
- model checker
- formal semantics
- mathematical theory
- formal specification
- cooperative
- formal verification
- artificial intelligence
- complex systems
- formal methods
- game theory
- temporal properties
- image processing