Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction

Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib. Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction. In Ron van der Meyden, Jan-Georg Smaus, editors, Model Checking and Artificial Intelligence - 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers. Volume 6572 of Lecture Notes in Computer Science, pages 69-84, Springer, 2010. [doi]

Abstract

Abstract is missing.