TY - CPAPER AU - Lomuscio,AR AU - Paquet,H EP - 1714 PB - IFAAMAS Press PY - 2015/// SP - 1713 TI - Verification of Multi-Agent Systems via SDD-based Model Checking ER -