Brian Logan'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).

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