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:2018,
author = {Belardinelli, F and Murano, A and Lomuscio, A and Rubin, S},
pages = {1865--1867},
title = {Decidable verification of multi-agent systems with bounded private actions},
year = {2018}
}

Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AU  - Belardinelli,F
AU  - Murano,A
AU  - Lomuscio,A
AU  - Rubin,S
EP  - 1867
PY  - 2018///
SN  - 1548-8403
SP  - 1865
TI  - Decidable verification of multi-agent systems with bounded private actions
ER  -

Download