Publications

Filters: Author is Jan-Georg Smaus  [Clear All Filters]
2011
Alechina, Natasha, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib. "Automated verification of resource requirements in multi-agent systems using abstraction." In 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers, edited by Ron van der Meyden and Jan-Georg Smaus, 69-84. Vol. LNAI 6572. Springer, 2011. Download: Alechina++:11a.pdf (185.01 KB)
2010
Alechina, Natasha, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib. "Automated verification of resource requirements in multi-agent systems using abstraction." In Proceedings of the Sixth Workshop on Model Checking and Artificial Intelligence (MoChArt-2010), edited by Ron van der Meyden and Jan-Georg Smaus. Atlanta, GA, 2010. Download: Alechina++:10c.pdf (198.95 KB)