✦ LIBER ✦

Verifying time, memory and communication bounds in systems of reasoning agents

✍ Scribed by Natasha Alechina; Brian Logan; Hoang Nga Nguyen; Abdur Rakib

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Verifying time, memory and communication

✍ Natasha Alechina; Brian Logan; Hoang Nga Nguyen; Abdur Rakib 📂 Article 📅 2009 🏛 Springer Netherlands 🌐 English ⚖ 330 KB

Reasoning about Time, Action and Knowled

✍ Ji Ruan 📂 Article 📅 2010 🏛 Springer-Verlag 🌐 English ⚖ 139 KB

Verified stability analysis of continuou

✍ Andreas Rauh; Ekaterina Auer; Thomas Dötschel; Harald Aschemann 📂 Article 📅 2011 🏛 Springer Vienna 🌐 English ⚖ 552 KB

[Lecture Notes in Computer Science] Agen

✍ Ghose, Aditya; Governatori, Guido; Sadananda, Ramakoti 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg ⚖ 418 KB

Potential Benefits of Communication in T

✍ Andrea B. Hollingshead; David P. Brandon 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 62 KB

Robust Stability of a Multi-Agent System

✍ Popov, Andrey; Werner, Herbert 📂 Article 📅 2012 🏛 IEEE 🌐 English ⚖ 299 KB