Angelo Ferrando 0001, Giulia Luongo, Vadim Malvone, Aniello Murano. Theory and Practice of Quantitative ATL. In Ryuta Arisaka, Víctor Sánchez-Anguix, Sebastian Stein 0001, Reyhan Aydogan, Leon van der Torre, Takayuki Ito 0001, editors, PRIMA 2024: Principles and Practice of Multi-Agent Systems - 25th International Conference, Kyoto, Japan, November 18-24, 2024, Proceedings. Volume 15395 of Lecture Notes in Computer Science, pages 231-247, Springer, 2024. [doi]
@inproceedings{FerrandoLMM24,
title = {Theory and Practice of Quantitative ATL},
author = {Angelo Ferrando 0001 and Giulia Luongo and Vadim Malvone and Aniello Murano},
year = {2024},
doi = {10.1007/978-3-031-77367-9_18},
url = {https://doi.org/10.1007/978-3-031-77367-9_18},
researchr = {https://researchr.org/publication/FerrandoLMM24},
cites = {0},
citedby = {0},
pages = {231-247},
booktitle = {PRIMA 2024: Principles and Practice of Multi-Agent Systems - 25th International Conference, Kyoto, Japan, November 18-24, 2024, Proceedings},
editor = {Ryuta Arisaka and Víctor Sánchez-Anguix and Sebastian Stein 0001 and Reyhan Aydogan and Leon van der Torre and Takayuki Ito 0001},
volume = {15395},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-031-77367-9},
}