Natasha Alechina's Publications

Using Theorem Proving to Verify Properties of Agent Programs (2010)

By: Natasha Alechina, Mehdi Dastani, Fahad Khan, Brian Logan, and Meyer, John-Jules Ch.

Download Information

Natasha Alechina, Mehdi Dastani, Fahad Khan, Brian Logan, and Meyer, John-Jules Ch. (2010). "Using Theorem Proving to Verify Properties of Agent Programs." In Dastani, Mehdi, Hindriks, Koen V., and Meyer, John-Jules Ch., editors, Specification and Verification of Multi-agent Systems, Springer (pp. 1-34). pdf    

Bibtex citation

@incollection{Alechina//:10e,
author =    {Natasha Alechina and Mehdi Dastani and Fahad Khan and Brian Logan and Meyer, John-Jules Ch.},
title =    "Using Theorem Proving to Verify Properties of Agent Programs",
booktitle =    "Specification and Verification of Multi-agent Systems",
pages =    "1--34",
publisher =    "Springer",
year =    2010,
editor =    "Dastani, Mehdi and Hindriks, Koen V. and Meyer, John-Jules Ch.",
chapter =    2,
isbn =    "978-1-4419-6983-5",
}

full list