Abstract
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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have