Skip to content

Added recent and old papers with whitemech acknowledgments. #195

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Jun 10, 2024
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
101 changes: 94 additions & 7 deletions publications.bib
Original file line number Diff line number Diff line change
Expand Up @@ -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},
Expand Down Expand Up @@ -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,
Expand Down Expand Up @@ -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},
}