Nadeem Akhtar, Yann Le Guyadec, Flavio Oquendo. Formal Specification and Verification of Multi-Agent Robotics Software Systems – a Case Study.
First International Conference on Agents and Artificial Intelligence (ICAART 2008), Jan 2009, Porto, Portugal. INSTICC, pp.475-482, 2009.
〈hal-00514755〉