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

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Natasha Alechina' in GoogleThis author has not been identified. Look up 'Brian Logan' in GoogleThis author has not been identified. Look up 'Nguyen Hoang Nga' in GoogleThis author has not been identified. Look up 'Abdur Rakib' in Google

runs on WebDSL