diff --git a/publications.bib b/publications.bib index 759e851..acec87c 100644 --- a/publications.bib +++ b/publications.bib @@ -53,8 +53,8 @@ @inproceedings{eumas2023dpz @inproceedings{eumas2023agsfrz, author = {Benjamin Aminof and - Giuseppe De Giacomo and - Antonio Di Stasio and + Giuseppe {De Giacomo} and + Antonio {Di Stasio} and Hugo Francon and Sasha Rubin and Shufang Zhu}, @@ -502,11 +502,15 @@ @article{jair2023dfpz } @inproceedings{amai2022gnpw, - author = {Julian Gutierrez and Muhammad Najib and Giuseppe Perelli and Michael Wooldridge}, - title = {On the Complexity of Rational Verification}, - booktitle = {{Annals of Mathematics and Artificial Intelligence}}, - year = {2022}, - url_paper = {https://whitemech.github.io/papers/2022/amai2022gnpw.pdf}, + author = {Julian Gutierrez and Muhammad Najib and Giuseppe Perelli and Michael Wooldridge}, + title = "{On the Complexity of Rational Verification.}", + booktitle = "{Annals of Mathematics and Artificial Intelligence}", + publisher = "Springer International Publishing", + volume = {91}, + number = {4}, + pages = {409--430}, + year = "{2023}", + url_paper = {https://doi.org/10.1007/s10472-022-09804-3}, } @article{arxiv2022dfpz, @@ -1413,3 +1417,86 @@ @article{fi2019ddllr issn = {1999-5903}, doi = {10.3390/fi11120260}, } + +@inproceedings{icaart2024bi, + author = {Damiano Brunori and + Luca Iocchi}, + title = {A Delay-Aware DRL-Based Environment for Cooperative Multi-UAV Systems + in Multi-Purpose Scenarios}, + booktitle = {{ICAART} {(3)}}, + pages = {334--343}, + publisher = {{SCITEPRESS}}, + year = {2024} +} + +@incollection{acmtcl2023bkmmmp, + author = {Patricia Bouyer and Orna Kupferman and Nicolas Markey and Bastien Maubert and Aniello Murano and Giuseppe Perelli}, + title = "{Reasoning About Quality and Fuzziness of Strategic Behaviours}", + booktitle = "{{ACM} Transaction on Computational Logic}", + year = "{2023}", + note = "doi: \textbf{10.1145/3582498}", + url_paper = {https://dl.acm.org/doi/10.1145/3582498}, +} + +@inproceedings{ijcai2024ghnpw, + author = {Julian Gutierrez and David Hyland and Muhammad Najib and Giuseppe Perelli and Michael Wooldridge}, + title = {Endogenous Energy Reactive Modules Games: Modelling Side Payments Among Resource-Bounded Agents}, + booktitle = {The 33rd International Joint Conference on Artificial Intelligence, {IJCAI}}, + year = {2024}, +} + +@inproceedings{aaai2024addlpv, + author = {Natasha Alechina and Mehdi Dastani and Giuseppe {De Giacomo} and Brian Logan and Giuseppe Perelli and Giovanni Varricchione}, + title = {Pure-Past Action Masking}, + booktitle = {38th Annual AAAI Conference on Artificial Intelligence, {AAAI}}, + pages = {21646--21655}, + publisher = {{AAAI} Press}, + year = {2024}, + doi = {10.1609/AAAI.V38I19.30163}, +} + +@inproceedings{ecai2023fppt, + author = {Oliver Fernandez-Gil and Fabio Patrizi and Giuseppe Perelli and Anni-Yasmin Turhan}, + title = "{Optimal Alignment of Temporal Knowledge Bases}", + booktitle = {26th European Conference on Artificial Intelligence, {ECAI} 2023}, + volume = {372}, + pages = {708--715}, + publisher = {{IOS} Press}, + year = {2023}, + doi = {10.3233/FAIA230335} +} + +@inproceedings{ecai2023gpp, + author = {Pierre Gaillard and Fabio Patrizi and Giuseppe Perelli}, + title = "{Strategy Repair in Reachability Games}", + booktitle = {26th European Conference on Artificial Intelligence, {ECAI} 2023}, + volume = {372}, + pages = {780--787}, + publisher = {{IOS} Press}, + year = {2023}, + doi = {10.3233/FAIA230344}, +} + +@inproceedings{eumas2023dp, + author = {Giuseppe {De Giacomo} and Giuseppe Perelli}, + title = {Behavioral {QLTL}}, + booktitle = {20th European Conference on Multi-Agent Systems, {EUMAS} 2023, Naples, Italy, September 14-15, 2023}, + series = {Lecture Notes in Computer Science}, + volume = {14282}, + pages = {133--149}, + publisher = {Springer}, + year = {2023}, + doi = {10.1007/978-3-031-43264-4\_9}, +} + +@inproceedings{time2022gkpw, + author = {Julian Gutierrez and Sarit Kraus and Giuseppe Perelli and {Michael J.} Wooldridge}, + title = "{Giving Instructions in Linear Temporal Logic}", + booktitle = {29th International Symposium on Temporal Representation and Reasoning, {TIME} 2022}, + series = {LIPIcs}, + volume = {247}, + pages = {15:1--15:14}, + publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, + year = {2022}, + doi = {10.4230/LIPIcs.TIME.2022.15}, +}