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 Fourth Workshop on Model Checking and Artificial Intelligence (MoChArt-2006) (pp. 16-30). pdf    

Bibtex citation

@inproceedings{Alechina//:06f,
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 Fourth Workshop on Model Checking and Artificial Intelligence ({MoChArt}-2006)},
year =    2006,
pages =    {16--30},
editor =    {Stefan Edelkamp and Alessio Lomuscio},
location =    {Riva del Garda, Italy},
dates =    {Aug 29},
}

full list