Formal Specification and Verification of Multi-Agent Robotics Software Systems - A Case Study.

Nadeem Akhtar, Yann Le Guyadec, Flvio Oquendo

Browse the full ICAART paper archive.