Brian Logan's Publications

Verifying Heterogeneous Multi-Agent Programs (2014)

By: Doan, Thu Trang, Yuan Yao, Natasha Alechina, and Brian Logan

Download Information

Doan, Thu Trang, Yuan Yao, Natasha Alechina, and Brian Logan (2014). "Verifying Heterogeneous Multi-Agent Programs." Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014) (pp. 149-156).

Bibtex citation

@inproceedings{Doan//:14a,
author =    "Doan, Thu Trang and Yuan Yao and Natasha Alechina and Brian Logan",
title =    "Verifying Heterogeneous Multi-Agent Programs",
booktitle =    "Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems ({AAMAS} 2014)",
year =    2014,
editor =    "Alessio Lomuscio and Paul Scerri and Ana Bazzan and Michael Huhns",
pages =    "149--156",
address =    "Paris, France",
month =    "May",
organization = "IFAAMAS",
}

---

full list