Natasha Alechina'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). pdf    

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