Imperial College London

ProfessorAlessioLomuscio

Faculty of EngineeringDepartment of Computing

Professor of Logic for Multiagent Systems
 
 
 
//

Contact

 

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

 
 
//

Location

 

504Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inproceedings{Belardinelli,
author = {Belardinelli, F and Lomuscio, A and Malvone, A},
publisher = {Association for the Advancement of Artificial Intelligence},
title = {An abstraction-based method for verifying strategic properties in multi-agent systems with imperfect information},
url = {http://hdl.handle.net/10044/1/66161},
}

RIS format (EndNote, RefMan)

TY  - CPAPER
AB - We investigate the verification of Multi-agent Systemsagainst strategic properties expressed in Alternating-timeTemporal Logic under the assumptions of imperfect informa-tion and perfect recall. To this end, we develop a three-valuedsemantics for concurrent game structures upon which we de-fine an abstraction method. We prove that concurrent gamestructures with imperfect information admit perfect informa-tion abstractions that preserve three-valued satisfaction. Fur-ther, we present a refinement procedure to deal with caseswhere the value of a specification is undefined. We illustratethe overall procedure in a variant of the Train Gate Controllerscenario under imperfect information and perfect recall.
AU - Belardinelli,F
AU - Lomuscio,A
AU - Malvone,A
PB - Association for the Advancement of Artificial Intelligence
TI - An abstraction-based method for verifying strategic properties in multi-agent systems with imperfect information
UR - http://hdl.handle.net/10044/1/66161
ER -