Nadeem Akhtar, Yann Le Guyadec, Flávio Oquendo. Formal Specification and Verification of Multi-Agent Robotics Software Systems - A Case Study. In Joaquim Filipe, Ana L. N. Fred, Bernadette Sharp, editors, ICAART 2009 - Proceedings of the International Conference on Agents and Artificial Intelligence, Porto, Portugal, January 19 - 21, 2009. pages 475-482, INSTICC Press, 2009.
Abstract is missing.