ProfessorAlessioLomuscio

Faculty of Engineering, Department of Computing

Professor of Safe Artificial Intelligence

Contact

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

Location

Imperial-XTranslation & Innovation Hub BuildingWhite City Campus

Summary

Publications

Citation

BibTex format

@inproceedings{Belardinelli:2016,
author = {Belardinelli, F and Lomuscio, A and Michaliszyn, J},
pages = {286--294},
publisher = {IOS Press},
title = {Agent-based Refinement for Predicate Abstraction of Multi-Agent Systems},
year = {2016}
}

Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AU  - Belardinelli,F
AU  - Lomuscio,A
AU  - Michaliszyn,J
EP  - 294
PB  - IOS Press
PY  - 2016///
SP  - 286
TI  - Agent-based Refinement for Predicate Abstraction of Multi-Agent Systems
ER  -

Download