Pubblicazioni di Perelli Giuseppe

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
Gutierrez Julian, Kraus Sarit, Perelli Giuseppe, Wooldridge Michael
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
Abate Alessandro, Gutierrez Julian, Hammond Lewis, Harrenstein Paul, Kwiatkowska Marta, Najib Muhammad, Perelli Giuseppe, Steeples Thomas, Wooldridge Michael
De Giacomo Giuseppe, Di Stasio Antonio, Perelli Giuseppe, Zhu Shufang
De Giacomo Giuseppe, Murano Aniello, Patrizi Fabio, Perelli Giuseppe

2020

Gutierrez Julian, Najib Muhammad, Perelli Giuseppe, Wooldridge Michael
Gutierrez Juilan, Murano Aniello, Perelli Giuseppe, Rubin Sasha, Steeples Thomas, Wooldridge Michael
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
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.
Bouyer P., Kupferman O., Markey N., Maubert B., Murano A., Perelli G.

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.
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.

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

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma