✦ LIBER ✦

Verifying Multi-agent Programs by Model Checking

✍ Scribed by Rafael H. Bordini; Michael Fisher; Willem Visser; Michael Wooldridge

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model-checking multi-threaded distribute

✍ Scott D. Stoller 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 371 KB

Abstraction for model checking multi-age

✍ Zhou, Conghua ;Sun, Bo ;Liu, Zhifeng 📂 Article 📅 2010 🏛 Higher Education Press and Springer 🌐 English ⚖ 240 KB

Dynamic behavior modeling in multi-agent

✍ Jun Wei; Zhengjun Pan; Lishang Kang 📂 Article 📅 1996 🏛 Wuhan University 🌐 English ⚖ 475 KB

Automatic verification of multi-agent sy

✍ Franco Raimondi; Alessio Lomuscio 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 234 KB

Solving a multi-objective mixed-model as

✍ Babak Javadi; Alireza Rahimi-Vahed; Masoud Rabbani; Mostafa Dangchi 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 185 KB