✦ LIBER ✦

Alternating-time temporal logic

✍ Scribed by Rajeev Alur; Thomas A. Henzinger; Orna Kupferman

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Action and Knowledge in Alternating-Time

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

Fully Symbolic Unbounded Model Checking

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

Alternating automata and temporal logic

✍ Clare Dixon; Alexander Bolotov; Michael Fisher 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 281 KB

Alternative semantics for temporal logic

✍ E. Allen Emerson 📂 Article 📅 1983 🏛 Elsevier Science ⚖ 112 KB

Alternative semantics for temporal logic

✍ E.Allen Emerson 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 984 KB

Alternating-time logic with imperfect re

✍ Pierre-Yves Schobbens 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 154 KB