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

@article{Raimondi:2004,
author = {Raimondi, F and Lomuscio, A},
journal = {Electronic Notes of Theoretical Computer Science},
title = {A tool for the specification and verification of epistemic properties in interpreted systems},
volume = {85},
year = {2004}
}

Download

RIS format (EndNote, RefMan)

TY  - JOUR
AU  - Raimondi,F
AU  - Lomuscio,A
PY  - 2004///
TI  - A tool for the specification and verification of epistemic properties in interpreted systems
T2  - Electronic Notes of Theoretical Computer Science
VL  - 85
ER  -

Download