Symbolic model checking for temporal-epistemic logics

Alessio Lomuscio, Wojciech Penczek. Symbolic model checking for temporal-epistemic logics. SIGACT News, 38(3):77-99, 2007. [doi]

Abstract

Abstract is missing.