Pubblicazioni di Perelli Giuseppe
2024
Varricchione Giovanni, Alechina Natasha, Dastani Mehdi, De Giacomo Giuseppe, Logan Brian, Perelli Giuseppe
Pure-Past Action Masking. National Conference of the American Association for Artificial Intelligence 2024: 21646-21655
2023
De Giacomo G., Perelli G.
Behavioral QLTL. EUMAS 2023 2023: 133-149
Fernandez-Gil Oliver, Patrizi Fabio, Perelli Giuseppe, Turhan Anni-Yasmin
Optimal Alignment of Temporal Knowledge Bases. European Conference on Artificial Intelligence 2023: 708-715
Bouyer Patricia, Kupferman Orna, Markey Nicolas, Maubert Bastien, Murano Aniello, Perelli Giuseppe
Reasoning about Quality and Fuzziness of Strategic Behaviors. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC 2023: 1-38
Gaillard Pierre, Patrizi Fabio, Perelli Giuseppe
Strategy Repair in Reachability Games. European Conference on Artificial Intelligence 2023: 780-787
2022
Alechina Natasha, De Giacomo Giuseppe, Logan Brian, Perelli Giuseppe
Automatic Synthesis of Dynamic Norms for Multi-Agent Systems. KR 2022 2022: 12-21
Gutierrez Julian, Kraus Sarit, Perelli Giuseppe, Wooldridge Michael
Giving Instructions in Linear Temporal Logic. Time 2022 2022: -
Gutierrez Julian, Najib Muhammad, Perelli Giuseppe, Wooldridge Michael
On the complexity of rational verification. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE 2022: -
2021
Gutierrez Julian, Harrenstein Paul, Perelli Giuseppe, Wooldridge Michael
Expressiveness and Nash Equilibrium in Iterated Boolean Games. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC 2021: -
De Giacomo Giuseppe, Felli Paolo, Montali Marco, Perelli Giuseppe
HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs. IJCAI 2021 2021: 1859-1865
Abate Alessandro, Gutierrez Julian, Hammond Lewis, Harrenstein Paul, Kwiatkowska Marta, Najib Muhammad, Perelli Giuseppe, Steeples Thomas, Wooldridge Michael
Rational verification: Game-Theoretic Verification of Multi-Agent Systems. APPLIED INTELLIGENCE 2021: -
De Giacomo Giuseppe, Di Stasio Antonio, Perelli Giuseppe, Zhu Shufang
Synthesis with Mandatory Stop Actions. KR 2021 2021: -
De Giacomo Giuseppe, Murano Aniello, Patrizi Fabio, Perelli Giuseppe
2020
Gutierrez Julian, Najib Muhammad, Perelli Giuseppe, Wooldridge Michael
Automated temporal equilibrium analysis: Verification and synthesis of multi-player games. ARTIFICIAL INTELLIGENCE 2020: -25
Gutierrez Juilan, Murano Aniello, Perelli Giuseppe, Rubin Sasha, Steeples Thomas, Wooldridge Michael
Equilibria for Games with Combined Qualitative and Quantitative Objects. ACTA INFORMATICA 2020: -
Bozzelli Laura, Murano Aniello, Perelli Giuseppe, Sorrentino Loredana
Hierarchical Cost-Parity Games. THEORETICAL COMPUTER SCIENCE 2020: -
Gutierrez J., Perelli G., Wooldridge M.
Multi-player games with LDL goals over finite traces. INFORMATION AND COMPUTATION 2020: -
Bouyer Patricia, Kupferman Orna, Markey Nicolas, Maubert Bastien, Murano Aniello, Perelli Giuseppe
Reasoning about Quality and Fuzziness of Strategic Behaviour. ECAI 2020 2020: -
Abd Alrahman Yehia, Perelli Giuseppe, Piterman Nir
2019
Perelli G.
Enforcing equilibria in multi-agent systems. AAMAS '19: Proceedings of the 18th International Conference on Autonomous Agents and Multi Agent Systems 2019: 188-196
Gutierrez J., Najib M., Perelli G., Wooldridge M.
Equilibrium design for concurrent games. 30th International Conference on Concurrency Theory (CONCUR 2019) 2019: -
Gutierrez J., Harrenstein P., Perelli G., Wooldridge M.
Nash equilibrium and bisimulation invariance. LOGICAL METHODS IN COMPUTER SCIENCE 2019: -49
Gutierrez J., Najib M., Perelli G., Wooldridge M.
On computational tractability for rational verification. IJCAI 2019: 329-335
Bouyer P., Kupferman O., Markey N., Maubert B., Murano A., Perelli G.
Reasoning about quality and fuzziness of strategic behaviours. IJCAI 2019: 1588-1594
2018
Fontaine G., Mogavero F., Murano A., Perelli G., Sorrentino L.
Cycle detection in computation tree logic. INFORMATION AND COMPUTATION 2018: 265-279
Gutierrez J., Najib M., Perelli G., Wooldridge M.
EVE: A Tool for Temporal Equilibrium Analysis. Automated Technology for Verification and Analysis 2018: 551-557
Gutierrez Julian, Perelli Giuseppe, Wooldridge Michael
Imperfect information in Reactive Modules games. INFORMATION AND COMPUTATION 2018: 650-675
Almagor S., Kupferman O., Perelli G.
2017
Bozzelli L., Murano A., Perelli G., Sorrentino L.
Hierarchical cost-parity games. 24th International Symposium on Temporal Representation and Reasoning (TIME 2017) 2017: -
Gutierrez J., Perelli G., Wooldridge M.
Iterated games with LDL goals over finite traces. AAMAS '17: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems 2017: 696-704
Gutierrez J., Murano A., Perelli G., Rubin S., Wooldridge M.
Nash equilibria in concurrent games with lexicographic preferences. IJCAI 2017: 1067-1073
Mogavero F., Murano A., Perelli G., Vardi M. Y.
Reasoning about strategies: On the satisfiability problem. LOGICAL METHODS IN COMPUTER SCIENCE 2017: -
2016
Molinari Alberto, Montanari Angelo, Murano Aniello, Perelli Giuseppe, Peron Adriano
Checking interval properties of computations. ACTA INFORMATICA 2016: 587-619
Gutierrez J., Perelli G., Wooldridge M.
Imperfect information in reactive modules games. Proceedings, Fifteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2016) 2016: 390-399
Wooldridge M., Gutierrez J., Harrenstein P., Marchioni E., Perelli G., Toumi A.
Rational verification: From model checking to equilibrium checking. 30th AAAI Conference on Artificial Intelligence, AAAI 2016 2016: 4184-4190
Kupferman O., Perelli G., Vardi M. Y.
Synthesis with rational environments. ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE 2016: 3-20
2015
Mogavero F., Perelli G.
Binding forms in first-order logic. 24th EACSL Annual Conference on Computer Science Logic (CSL 2015) 2015: 648-665
Murano A., Perelli G., Rubin S.
Multi-agent path planning in known dynamic environments. PRIMA 2015: Principles and Practice of Multi-Agent Systems 2015: 218-231
Murano A., Perelli G.
Pushdown multi-agent system verification. IJCAI 2015: 1090-1097
2014
Mogavero F., Murano A., Perelli G., Vardi M. Y.
Reasoning about strategies: On the model-checking problem. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC 2014: 1-47
2012
Mogavero F., Murano A., Perelli G., Vardi M. Y.
What makes ATL* decidable? A decidable fragment of strategy logic. CONCUR 2012 – Concurrency Theory 2012: 193-208