Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic.
Xiaowei HuangCheng LuoRon van der MeydenPublished in: MoChArt (2010)
Keyphrases
- epistemic logic
- temporal epistemic
- model checking
- bounded model checking
- temporal logic
- linear temporal logic
- modal logic
- multi agent systems
- formal verification
- computation tree logic
- model checker
- logical framework
- multi faceted
- inference rules
- dynamic epistemic logic
- formal semantics
- mathematical theory
- formal specification
- cooperative
- multi agent
- transition systems