✦ LIBER ✦

Model-checking games for logics of imperfect information

✍ Scribed by Grädel, Erich

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model-checking games for fixpoint logics

✍ Julian Gutierrez; Julian Bradfield 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 510 KB

Model checking for action-based logics

✍ Alessandro Fantechi; Stefania Gnesi; Gioia Ristori 📂 Article 📅 1994 🏛 Springer 🌐 English ⚖ 813 KB

Expressivity of Imperfect Information Lo

✍ Antti Kuusisto 📂 Article 📅 2013 🏛 Springer Netherlands 🌐 English ⚖ 355 KB

Annotated Logic Applications for Imperfe

✍ Daniela V. Carbogim; Flávio S. Corrêa da Silva 📂 Article 📅 1998 🏛 Springer US 🌐 English ⚖ 238 KB

Model Checking for Hybrid Logic

✍ Martin Lange 📂 Article 📅 2009 🏛 Springer Netherlands 🌐 English ⚖ 758 KB

Strategy construction for parity games w

✍ Dietmar Berwanger; Krishnendu Chatterjee; Martin De Wulf; Laurent Doyen; Thomas 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 595 KB