We survey some of the recent work in verification via symbolic model checking of temporal-epistemic logic. Specifically, we discuss OBDD-based and SAT-based approaches for epistemic logic built on discrete and real-time branching time temporal logic. The underlying semantical model considered throughout is the one of interpreted system, suitably extended whenever necessary. © 2012 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Lomuscio, A., & Penczek, W. (2012). Symbolic model checking for temporal-epistemic logic. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7360 LNCS, 172–195. https://doi.org/10.1007/978-3-642-29414-3_10
Mendeley helps you to discover research relevant for your work.