Symbolic Model Checking for Temporal-Epistemic Logics 1

@inproceedings{Lomuscio2007SymbolicMC,
  title={Symbolic Model Checking for Temporal-Epistemic Logics 1},
  author={Alessio Lomuscio and Wojciech Penczek},
  year={2007}
}
In this issue, Lomuscio and Penczek survey some of the recent work in verification of temporalepistemic logic via symbolic model checking, focussing on OBDD-based and SAT-based approaches for epistemic logics built on discrete and real-time branching time temporal logics. On this topic, I should mention the following paper, which compares several model… CONTINUE READING