Symbolic model checking for temporal-epistemic logics - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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

The following publications are possibly variants of this publication:

Symbolic Model Checking for Temporal-Epistemic LogicAlessio Lomuscio, Wojciech Penczek. BIRTHDAY 2012: 172-195 [doi]

Parallel Model Checking for Temporal Epistemic LogicMarta Z. Kwiatkowska, Alessio Lomuscio, Hongyang Qu. ecai 2010: 543-548 [doi]

Fully Symbolic Unbounded Model Checking for Alternating-time Temporal Logic:::1:::Magdalena Kacprzak, Wojciech Penczek. AAMAS, 11(1):69-89, 2005. [doi]

Towards Partial Order Reduction for Model Checking Temporal Epistemic LogicAlessio Lomuscio, Wojciech Penczek, Hongyang Qu. mochart 2009: 106-121 [doi]

From Bounded to Unbounded Model Checking for Temporal Epistemic LogicMagdalena Kacprzak, Alessio Lomuscio, Wojciech Penczek. FUIN, 63(2-3):221-240, 2004. [doi]

A Symmetry Reduction Technique for Model Checking Temporal-Epistemic LogicMika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu. IJCAI 2009: 721-726 [doi]

runs on WebDSL