BibTex format
@inproceedings{Belardinelli:2017,
author = {Belardinelli, F and Lomuscio, A and Murano, A and Rubin, S},
title = {Verification of Multi-agent Systems with Imperfect Information and Public Actions},
year = {2017}
}
Faculty of Engineering, Department of Computing
Professor of Safe Artificial IntelligenceImperial-XTranslation & Innovation Hub BuildingWhite City Campus