Publications

BibTex format

@inproceedings{Belardinelli:2019:10.1609/aaai.v33i01.33016030,
author = {Belardinelli, F and Lomuscio, A and Malvone, A},
doi = {10.1609/aaai.v33i01.33016030},
pages = {6030--6037},
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://dx.doi.org/10.1609/aaai.v33i01.33016030},
year = {2019}
}

Download

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
DO  - 10.1609/aaai.v33i01.33016030
EP  - 6037
PB  - Association for the Advancement of Artificial Intelligence
PY  - 2019///
SP  - 6030
TI  - An abstraction-based method for verifying strategic properties in multi-agent systems with imperfect information
UR  - http://dx.doi.org/10.1609/aaai.v33i01.33016030
UR  - https://www.aaai.org/ojs/index.php/AAAI/article/view/4558
UR  - http://hdl.handle.net/10044/1/66161
ER  -

Download

ProfessorAlessioLomuscio

Contact

Location

Summary

Citation

BibTex format

RIS format (EndNote, RefMan)