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

@inproceedings{Belardinelli:2018,
author = {Belardinelli, F and Lomuscio, A and Malvone, V},
publisher = {AAAI},
title = {Approximating perfect recall when model checking strategic abilities},
url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18010/17167},
year = {2018}
}

RIS format (EndNote, RefMan)

TY  - CPAPER
AB - We investigate the notion of bounded recall in the contextof model checking AT L∗and AT L specifications in multiagent systems with imperfect information. We present a novelthree-valued semantics for AT L∗, respectively AT L, underbounded recall and imperfect information, and study the corresponding model checking problems. Most importantly, weshow that the three-valued semantics constitutes an approximation with respect to the traditional two-valued semantics.In the light of this we construct a sound, albeit partial, algorithm for model checking two-valued perfect recall via itsapproximation as three-valued bounded recall.
AU - Belardinelli,F
AU - Lomuscio,A
AU - Malvone,V
PB - AAAI
PY - 2018///
TI - Approximating perfect recall when model checking strategic abilities
UR - https://aaai.org/ocs/index.php/KR/KR18/paper/view/18010/17167
ER -