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