Imperial College London

ProfessorAlessioLomuscio

Faculty of EngineeringDepartment of Computing

Professor of Logic for Multiagent Systems
 
 
 
//

Contact

 

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

 
 
//

Location

 

569Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@article{Belardinelli:2011,
author = {Belardinelli, F and Jones, AV and Lomuscio, A},
journal = {Fundamenta Informaticae},
pages = {19--37},
title = {Model Checking Temporal-Epistemic Logic Using Alternating Tree Automata},
volume = {112},
year = {2011}
}

RIS format (EndNote, RefMan)

TY  - JOUR
AU - Belardinelli,F
AU - Jones,AV
AU - Lomuscio,A
EP - 37
PY - 2011///
SP - 19
TI - Model Checking Temporal-Epistemic Logic Using Alternating Tree Automata
T2 - Fundamenta Informaticae
VL - 112
ER -