TY  - RPRT
TI  - SMT-based Safety Verification of Parameterised Multi-Agent Systems
AU  - Paolo Felli
AU  - Alessandro Gianola
AU  - Marco Montali
PY  - 2020
UR  - https://arxiv.org/abs/2008.04774
ID  - 2008.04774
ER  -