Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |
In this issue, Lomuscio and Penczek survey some of the recent work in verification of temporal-epistemic 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.