%0 Conference Paper %1 conf/aaai/BelardinelliLM19 %A Belardinelli, Francesco %A Lomuscio, Alessio %A Malvone, Vadim %B AAAI %D 2019 %I AAAI Press %K dblp %P 6030-6037 %T An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems with Imperfect Information. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2019.html#BelardinelliLM19 %@ 978-1-57735-809-1

@inproceedings{conf/aaai/BelardinelliLM19, added-at = {2023-03-21T00:00:00.000+0100}, author = {Belardinelli, Francesco and Lomuscio, Alessio and Malvone, Vadim}, biburl = {https://www.bibsonomy.org/bibtex/235e1d8155f6f59e5034fce3ea500913c/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2019}, ee = {https://doi.org/10.1609/aaai.v33i01.33016030}, interhash = {fb1a3e670d57918620f8185ffaf06a46}, intrahash = {35e1d8155f6f59e5034fce3ea500913c}, isbn = {978-1-57735-809-1}, keywords = {dblp}, pages = {6030-6037}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:02:18.000+0200}, title = {An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems with Imperfect Information.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2019.html#BelardinelliLM19}, year = 2019 }