Pubblicazioni di Perelli Giuseppe
2024
Gutierrez Julian, Najib Muhammad, Perelli Giuseppe, Wooldridge Michael
Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints. LOGICAL METHODS IN COMPUTER SCIENCE 2024: -
Gutierrez Julian, Hyland David, Najib Muhammad, Perelli Giuseppe, Wooldridge Michael
Endogenous Energy Reactive Modules Games: Modelling Side Payments among Resource-Bounded Agents. International Joint Conference on Artificial Intelligence 2024: 67-75
Hyland David, Mittelmann Munyque, Murano Aniello, Perelli Giuseppe, Wooldridge Michael
Incentive Design for Rational Agents. International Conference on the Principles of Knowledge Representation and Reasoning 2024: 464-474
Jamroga Wojchiech, Mittelmann Munyque, Murano Aniello, Perelli Giuseppe
Playing Quantitative Games Against an Authority: On the Module Checking Problem. International Joint Conference on Autonomous Agents and Multiagent Systems 2024: 926-934
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
Bottoni Paolo, Labella Anna, Perelli Giuseppe
Strategies in Spatio-Temporal Logics for Multi-agent Systems. International Symposium on Leveraging Applications of Formal Methods, Verification and Validation 2024: 287-305
Najib Muhammad, Perelli Giuseppe
Synthesis of Reward Machines for Multi-Agent Equilibrium Design. European Conference on Artificial Intelligence 2024: -
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