Imperial College London


Faculty of EngineeringDepartment of Computing

Professor of Logic for Multiagent Systems



+44 (0)20 7594 8414a.lomuscio Website




504Huxley BuildingSouth Kensington Campus






BibTex format

author = {Lomuscio, A and Paquet, H},
pages = {1713--1714},
title = {Verification of multi-agent systems via SDD-based model checking},
year = {2015}

RIS format (EndNote, RefMan)

AB - Copyright © 2015, International Foundation for Autonomous Agents and Multiagent Systems ( All rights reserved. Considerable progress has been achieved in the past ten years in the symbolic verification of Multi-Agent Systems (MAS). One of the most efficient techniques put forward is based on the use of ordered binary decision diagrams (OBDDs) for representing the state space and computing the states at which specifications hold. Sentential Decision Diagrams (SDDs) have recently been put forward as an alternative symbolic representation for Boolean formulas in knowledge representation. In this abstract we report some preliminary results on the applicability of SDDs for the verification of MAS.
AU - Lomuscio,A
AU - Paquet,H
EP - 1714
PY - 2015///
SN - 1548-8403
SP - 1713
TI - Verification of multi-agent systems via SDD-based model checking
ER -