Pubblicazioni di Perelli Giuseppe

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
Gutierrez J., Perelli G., Wooldridge M.
Multi-player games with LDL goals over finite traces. INFORMATION AND COMPUTATION 2021: -

Abate Alessandro, Gutierrez Julian, Hammond Lewis, Harrenstein Paul, Kwiatkowska Marta, Najib Muhammad, Perelli Giuseppe, Steeples Thomas, Wooldridge Michael

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: 147-174

Bouyer Patricia, Kupferman Orna, Markey Nicolas, Maubert Bastien, Murano Aniello, Perelli Giuseppe
Reasoning about Quality and Fuzziness of Strategic Behaviour. 24th European Conference on Artificial Intelligence, ECAI 2020, including 10th Conference on Prestigious Applications of Artificial Intelligence, PAIS 2020 2020: 2887-2888

Abd Alrahman Yehia, Perelli Giuseppe, Piterman Nir
Reconfigurable Interaction for MAS Modelling. Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems 2020: 7-15

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.
Gutierrez J., Harrenstein P., Perelli G., Wooldridge M.
Nash equilibrium and bisimulation invariance. 28th International Conference on Concurrency Theory (CONCUR 2017) 2017: -

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

Fontaine G., Mogavero F., Murano A., Perelli G., Sorrentino L.
Cycle detection in computation tree logic. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE 2016: 164-177

Gutierrez J., Harrenstein P., Perelli G., Wooldridge M.
Expressiveness and nash equilibrium in iterated boolean games. AAMAS '16: Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems 2016: 707-715

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

Di Stasio A., Murano A., Perelli G., Vardi M. Y.
Solving parity games using an automata-based algorithm. Implementation and Application of Automata 2016: 64-76

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.
Kupferman O., Perelli G., Vardi M. Y.
Synthesis with rational environments. Multi-Agent Systems 2015: 219-235

2014

Montanari A., Murano A., Perelli G., Peron A.
Checking interval properties of computations. 2014 21st International Symposium on Temporal Representation and Reasoning 2014: 59-68

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