✦ LIBER ✦

Alternating-time logic with imperfect recall

✍ Scribed by Pierre-Yves Schobbens

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Alternating-time temporal logic

✍ Rajeev Alur; Thomas A. Henzinger; Orna Kupferman 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 36 KB

Alternating-time stream logic for multi-

✍ Sascha Klüppelholz; Christel Baier 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 925 KB

Action and Knowledge in Alternating-Time

✍ Thomas Ågotnes 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 275 KB

Sequent Calculi with Analytic Cut for Lo

✍ J. Sakalauskaitė 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 155 KB

On the Interpretation of Decision Proble

✍ Michele Piccione; Ariel Rubinstein 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 232 KB

Fully Symbolic Unbounded Model Checking

✍ Magdalena Kacprzak; Wojciech Penczek 📂 Article 📅 2005 🏛 Springer US 🌐 English ⚖ 395 KB