BibTex format
@inproceedings{Lomuscio:2015,
author = {Lomuscio, AR and Paquet, H},
pages = {1713--1714},
publisher = {IFAAMAS Press},
title = {Verification of Multi-Agent Systems via SDD-based Model Checking},
year = {2015}
}
Faculty of Engineering, Department of Computing
Professor of Safe Artificial IntelligenceImperial-XTranslation & Innovation Hub BuildingWhite City Campus