Natasha Alechina's Publications

Verifying space and time requirements for resource-bounded agents (2006)

By: Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan, and Luciano Serafini

Download Information

Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan, and Luciano Serafini (2006). "Verifying space and time requirements for resource-bounded agents." Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2006) (pp. 217-219). pdf    

Bibtex citation

@inproceedings{Alechina//:06b,
author =     {Natasha Alechina and Piergiorgio Bertoli and Chiara Ghidini and Mark Jago and Brian Logan and Luciano Serafini},
title =     {Verifying space and time requirements for resource-bounded agents},
booktitle =     {Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multi-Agent Systems {(AAMAS 2006)}},
pages =     {217--219},
year =     {2006},
editor =     {Peter Stone and Gerhard Weiss},
address =     {Hakodate, Japan},
month =     {May},
publisher = {IEEE Press},
}
full list