✦ LIBER ✦

Model checking cooperation, knowledge, and time—a case study

✍ Scribed by Wiebe van der Hoek; Michael Wooldridge

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Bounded model checking for knowledge and

✍ Alessio Lomuscio; Wojciech Penczek; Bożena Woźna 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 842 KB

Model checking Trampoline OS: a case stu

✍ Yunja Choi 📂 Article 📅 2012 🏛 John Wiley and Sons 🌐 English ⚖ 790 KB

Model-based verification of knowledge-ba

✍ Marcos, M.; del Pobil, A.P.; Moisan, S. 📂 Article 📅 2000 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 565 KB

Diagnostic Checking in a Flexible Nonlin

✍ MARCELO C. MEDEIROS; ALVARO VEIGA 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 605 KB

Modeling cooperation links within networ

✍ M. Benali, P. Burlat 📂 Article 📅 2011 🏛 Springer US 🌐 English ⚖ 246 KB

How to Verify a Safe Real-Time System: T

✍ A. Burns 📂 Article 📅 2003 🏛 Springer US 🌐 English ⚖ 557 KB