Automated verification of resource requirements in multi-agent systems using abstraction

TitleAutomated verification of resource requirements in multi-agent systems using abstraction
Publication TypeConference Paper
Year of Publication2010
AuthorsAlechina, Natasha, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib
Editorvan der Meyden, Ron, and Jan-Georg Smaus
Conference NameProceedings of the Sixth Workshop on Model Checking and Artificial Intelligence (MoChArt-2010)
Conference LocationAtlanta, GA
Citation KeyAlechina//:10c
AttachmentSize
Alechina++:10c.pdf198.95 KB