TY  - RPRT
TI  - Automatic Verification of Parameterised Interleaved Multi-Agent Systems
AU  - Panagiotis Kouvaros
AU  - Alessio Lomuscio
PY  - 2014
UR  - https://arxiv.org/abs/1301.6431
ID  - 1301.6431
ER  -