Natasha Alechina's Publications

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

By: Natasha Alechina, Brian Logan, Nguyen, Hoang Nga, and Abdur Rakib

Download Information

Natasha Alechina, Brian Logan, Nguyen, Hoang Nga, and Abdur Rakib (2010). "Automated verification of resource requirements in multi-agent systems using abstraction." Proceedings of the Sixth Workshop on Model Checking and Artificial Intelligence (MoChArt-2010). pdf    

Bibtex citation

@inproceedings{Alechina//:10c,
author =    {Natasha Alechina and Brian Logan and Nguyen, Hoang Nga and Abdur Rakib},
title =    {Automated verification of resource requirements in multi-agent systems using abstraction},
booktitle = {Proceedings of the Sixth Workshop on Model Checking and Artificial Intelligence ({MoChArt}-2010)},
year =    2010,
editor =    {van der Meyden, Ron and Jan-Georg Smaus},
address =    {Atlanta, GA},
month =    {July},
}

full list