TY  - RPRT
TI  - Formal requirement and architecture specifications of a multi-agent robotic system
AU  - Nadeem Akhtar
AU  - Yann Le Guyadec
AU  - Flavio Oquendo
PY  - 2015
UR  - https://arxiv.org/abs/1501.05153
ID  - 1501.05153
ER  -