Symbolic model checking for temporal-epistemic logics - Lomuscio,A; Penczek,W (Association for Computing Machinery (ACM), 2007)