Bounded Model Checking for Linear Time Temporal-Epistemic Logic.
Artur MeskiWojciech PenczekMaciej SzreterPublished in: ICCSW (2012)
Keyphrases
- temporal epistemic
- bounded model checking
- epistemic logic
- model checking
- linear temporal logic
- temporal logic
- computation tree logic
- formal verification
- modal logic
- multi agent systems
- model checker
- dynamic epistemic logic
- logical framework
- multi agent
- multi faceted
- formal specification
- transition systems
- formal semantics
- inference rules
- knowledge representation