GIUSEPPE PERELLI

Ricercatore universitario


email: giuseppe.perelli@uniroma1.it
telefono: 0645544545




Produzione scientifica

11573/1724302 - 2024 - Strategies in Spatio-Temporal Logics for Multi-agent Systems
Bottoni, Paolo; Labella, Anna; Perelli, Giuseppe - 04b Atto di convegno in volume
congresso: International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (Crete, Greece)
libro: International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - (9783031737084; 9783031737091)

11573/1724297 - 2024 - Endogenous Energy Reactive Modules Games: Modelling Side Payments among Resource-Bounded Agents
Gutierrez, Julian; Hyland, David; Najib, Muhammad; Perelli, Giuseppe; Wooldridge, Michael - 04b Atto di convegno in volume
congresso: International Joint Conference on Artificial Intelligence (Jeju, South Korea)
libro: International Joint Conference on Artificial Intelligence - ()

11573/1720697 - 2024 - Playing Quantitative Games Against an Authority: On the Module Checking Problem
Jamroga, Wojchiech; Mittelmann, Munyque; Murano, Aniello; Perelli, Giuseppe - 04b Atto di convegno in volume
congresso: International Joint Conference on Autonomous Agents and Multiagent Systems (Auckland; New Zealand)
libro: AAMAS '24: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems - ()

11573/1724300 - 2024 - Synthesis of Reward Machines for Multi-Agent Equilibrium Design
Najib, Muhammad; Perelli, Giuseppe - 04b Atto di convegno in volume
congresso: European Conference on Artificial Intelligence (Santiago de Compostela, Spain)
libro: European Conference on Artificial Intelligence - (9781643685489)

11573/1707830 - 2024 - Pure-Past Action Masking
Varricchione, Giovanni; Alechina, Natasha; Dastani, Mehdi; De Giacomo, Giuseppe; Logan, Brian; Perelli, Giuseppe - 04b Atto di convegno in volume
congresso: National Conference of the American Association for Artificial Intelligence (Vancouver, Canada)
libro: National Conference of the American Association for Artificial Intelligence - ()

11573/1685188 - 2023 - Reasoning about Quality and Fuzziness of Strategic Behaviors
Bouyer, Patricia; Kupferman, Orna; Markey, Nicolas; Maubert, Bastien; Murano, Aniello; Perelli, Giuseppe - 01a Articolo in rivista
rivista: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC (New York, NY : Association for Computing Machinery, c2000-) pp. 1-38 - issn: 1529-3785 - wos: WOS:001020345500003 (3) - scopus: 2-s2.0-85162699550 (4)

11573/1691215 - 2023 - Behavioral QLTL
De Giacomo, G.; Perelli, G. - 04b Atto di convegno in volume
congresso: European Conference on Multi-Agent Systems (Napoli)
libro: European Conference on Multi-Agent Systems - (978-3-031-43263-7; 978-3-031-43264-4)

11573/1691214 - 2023 - Optimal Alignment of Temporal Knowledge Bases
Fernandez-Gil, Oliver; Patrizi, Fabio; Perelli, Giuseppe; Turhan, Anni-Yasmin - 04b Atto di convegno in volume
congresso: European Conference on Artificial Intelligence (Cracovia; Poland)
libro: Proceedings - ECAI 2023. 26th European Conference on Artificial Intelligence, September 30–October 4, 2023, Kraków, Poland – Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023) - (978-1-64368-436-9; 978-1-64368-437-6)

11573/1691213 - 2023 - Strategy Repair in Reachability Games
Gaillard, Pierre; Patrizi, Fabio; Perelli, Giuseppe - 04b Atto di convegno in volume
congresso: European Conference on Artificial Intelligence (Kraków; Poland)
libro: ECAI 2023 26th European Conference on Artificial Intelligence September 30–October 4, 2023, Kraków, Poland Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023) Proceedings - (9781643684369; 9781643684376)

11573/1664999 - 2023 - On the complexity of rational verification
Gutierrez, Julian; Najib, Muhammad; Perelli, Giuseppe; Wooldridge, Michael - 01a Articolo in rivista
rivista: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE (Dordrecht : Kluwer) pp. - - issn: 1573-7470 - wos: WOS:000825204300001 (0) - scopus: 2-s2.0-85134293064 (4)

11573/1659633 - 2022 - Automatic synthesis of dynamic norms for multi-agent systems
Alechina, Natasha; De Giacomo, Giuseppe; Logan, Brian; Perelli, Giuseppe - 04b Atto di convegno in volume
congresso: International Conference on the Principles of Knowledge Representation and Reasoning (Haifa, Israele)
libro: International Conference on the Principles of Knowledge Representation and Reasoning - (978-1-956792-01-0)

11573/1659632 - 2022 - Giving Instructions in Linear Temporal Logic
Gutierrez, Julian; Kraus, Sarit; Perelli, Giuseppe; Wooldridge, Michael - 04b Atto di convegno in volume
congresso: International Symposium on Temporal Representation and Reasoning (Online)
libro: International Symposium on Temporal Representation and Reasoning - ()

11573/1567120 - 2021 - Rational verification: Game-Theoretic Verification of Multi-Agent Systems
Abate, Alessandro; Gutierrez, Julian; Hammond, Lewis; Harrenstein, Paul; Kwiatkowska, Marta; Najib, Muhammad; Perelli, Giuseppe; Steeples, Thomas; Wooldridge, Michael - 01a Articolo in rivista
rivista: APPLIED INTELLIGENCE (-DORDRECHT, NETHERLANDS: SPRINGER -London ; Dordrecht ; Boston : Kluwer Academic Publishers) pp. - - issn: 0924-669X - wos: WOS:000680782800001 (7) - scopus: 2-s2.0-85111863560 (16)

11573/1583243 - 2021 - Synthesis with mandatory stop actions
De Giacomo, Giuseppe; Di Stasio, Antonio; Perelli, Giuseppe; Zhu, Shufang - 04b Atto di convegno in volume
congresso: International Conference on the Principles of Knowledge Representation and Reasoning (Online event)
libro: International Conference on the Principles of Knowledge Representation and Reasoning - ()

11573/1565616 - 2021 - HyperLDLf: a logic for checking properties of finite traces process logs
De Giacomo, Giuseppe; Felli, Paolo; Montali, Marco; Perelli, Giuseppe - 04b Atto di convegno in volume
congresso: International Joint Conference on Artificial Intelligence (Montreal)
libro: International Joint Conference on Artificial Intelligence - ()

11573/1583245 - 2021 - Timed trace alignment with metric temporal logic over finite traces
De Giacomo, Giuseppe; Murano, Aniello; Patrizi, Fabio; Perelli, Giuseppe - 04b Atto di convegno in volume
congresso: International Conference on the Principles of Knowledge Representation and Reasoning (Online event)
libro: International Conference on the Principles of Knowledge Representation and Reasoning - (9781956792997)

11573/1403477 - 2021 - Multi-player games with LDL goals over finite traces
Gutierrez, J.; Perelli, G.; Wooldridge, M. - 01a Articolo in rivista
rivista: INFORMATION AND COMPUTATION (Academic Press Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)543-9534, (407)345-4100, EMAIL: ap@acad.com, INTERNET: http://www.idealibrary.com, Fax: (407)352-3445) pp. - - issn: 0890-5401 - wos: WOS:000607516300006 (1) - scopus: 2-s2.0-85082814589 (3)

11573/1418258 - 2021 - Equilibria for Games with Combined Qualitative and Quantitative Objects
Gutierrez, Juilan; Murano, Aniello; Perelli, Giuseppe; Rubin, Sasha; Steeples, Thomas; Wooldridge, Michael - 01a Articolo in rivista
rivista: ACTA INFORMATICA (Heidelberg ; Berlin : Springer) pp. 585-610 - issn: 1432-0525 - wos: WOS:000539957100001 (9) - scopus: 2-s2.0-85086447375 (12)

11573/1551968 - 2021 - Expressiveness and Nash Equilibrium in Iterated Boolean Games
Gutierrez, Julian; Harrenstein, Paul; Perelli, Giuseppe; Wooldridge, Michael - 01a Articolo in rivista
rivista: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC (New York, NY : Association for Computing Machinery, c2000-) pp. - - issn: 1529-3785 - wos: WOS:000732410300001 (0) - scopus: 2-s2.0-85127375910 (0)

11573/1431446 - 2020 - Reconfigurable Interaction for MAS Modelling
Abd Alrahman, Yehia; Perelli, Giuseppe; Piterman, Nir - 04b Atto di convegno in volume
congresso: International Joint Conference on Autonomous Agents and Multiagent Systems (Auckland; New Zealand)
libro: International Joint Conference on Autonomous Agents and Multiagent Systems - ()

11573/1450609 - 2020 - Reasoning about Quality and Fuzziness of Strategic Behaviour
Bouyer, Patricia; Kupferman, Orna; Markey, Nicolas; Maubert, Bastien; Murano, Aniello; Perelli, Giuseppe - 04b Atto di convegno in volume
congresso: European Conference on Artificial Intelligence (Virtual Conference)
libro: European Conference on Artificial Intelligence - ()

11573/1450621 - 2020 - Hierarchical Cost-Parity Games
Bozzelli, Laura; Murano, Aniello; Perelli, Giuseppe; Sorrentino, Loredana - 01a Articolo in rivista
rivista: THEORETICAL COMPUTER SCIENCE (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. 147-174 - issn: 0304-3975 - wos: WOS:000588118200012 (0) - scopus: 2-s2.0-85093951603 (1)

11573/1422753 - 2020 - Automated temporal equilibrium analysis: Verification and synthesis of multi-player games
Gutierrez, Julian; Najib, Muhammad; Perelli, Giuseppe; Wooldridge, Michael - 01a Articolo in rivista
rivista: ARTIFICIAL INTELLIGENCE (New York: American Elsevier Publishing Company Amsterdam: North-Holland) pp. -25 - issn: 0004-3702 - wos: WOS:000567871600006 (9) - scopus: 2-s2.0-85087282975 (21)

11573/1403362 - 2019 - Reasoning about quality and fuzziness of strategic behaviours
Bouyer, P.; Kupferman, O.; Markey, N.; Maubert, B.; Murano, A.; Perelli, G. - 04c Atto di convegno in rivista
rivista: IJCAI (Harcourt Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)745-7323, (415)392-2665, Fax: (415)982-2665) pp. 1588-1594 - issn: 1045-0823 - wos: WOS:000761735101099 (11) - scopus: 2-s2.0-85074922709 (23)
congresso: 28th International Joint Conference on Artificial Intelligence, IJCAI 2019 (Macao; China)

11573/1403431 - 2019 - Nash equilibrium and bisimulation invariance
Gutierrez, J.; Harrenstein, P.; Perelli, G.; Wooldridge, M. - 01a Articolo in rivista
rivista: LOGICAL METHODS IN COMPUTER SCIENCE (Braunschweig : Logical Methods in Computer Science c/o Institut f. Theoretische Informatik, Technische Universität Braunschweig.) pp. -49 - issn: 1860-5974 - wos: WOS:000505787200004 (4) - scopus: 2-s2.0-85074158987 (5)

11573/1403127 - 2019 - Equilibrium design for concurrent games
Gutierrez, J.; Najib, M.; Perelli, G.; Wooldridge, M. - 04b Atto di convegno in volume
congresso: 30th International Conference on Concurrency Theory, CONCUR 2019 (Amsterdam; Netherlands)
libro: 30th International Conference on Concurrency Theory (CONCUR 2019) - ()

11573/1403423 - 2019 - On computational tractability for rational verification
Gutierrez, J.; Najib, M.; Perelli, G.; Wooldridge, M. - 04c Atto di convegno in rivista
rivista: IJCAI (Harcourt Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)745-7323, (415)392-2665, Fax: (415)982-2665) pp. 329-335 - issn: 1045-0823 - wos: WOS:000761735100047 (8) - scopus: 2-s2.0-85071637826 (12)
congresso: 28th International Joint Conference on Artificial Intelligence, IJCAI 2019 (Macao; China)

11573/1403129 - 2019 - Enforcing equilibria in multi-agent systems
Perelli, G. - 04b Atto di convegno in volume
congresso: 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019 (Montreal; Canada)
libro: AAMAS '19: Proceedings of the 18th International Conference on Autonomous Agents and Multi Agent Systems - (978-151089200-2)

11573/1403384 - 2018 - Synthesis of controllable Nash equilibria in quantitative objective games
Almagor, S.; Kupferman, O.; Perelli, G. - 04c Atto di convegno in rivista
rivista: IJCAI (Harcourt Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)745-7323, (415)392-2665, Fax: (415)982-2665) pp. 35-41 - issn: 1045-0823 - wos: WOS:000764175400005 (13) - scopus: 2-s2.0-85055725669 (17)
congresso: 27th International Joint Conference on Artificial Intelligence, IJCAI 2018 (Stockholm; Sweden)

11573/1403427 - 2018 - Cycle detection in computation tree logic
Fontaine, G.; Mogavero, F.; Murano, A.; Perelli, G.; Sorrentino, L. - 01a Articolo in rivista
rivista: INFORMATION AND COMPUTATION (Academic Press Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)543-9534, (407)345-4100, EMAIL: ap@acad.com, INTERNET: http://www.idealibrary.com, Fax: (407)352-3445) pp. 265-279 - issn: 0890-5401 - wos: WOS:000445637300005 (0) - scopus: 2-s2.0-85053058759 (0)

11573/1402018 - 2018 - EVE: A Tool for Temporal Equilibrium Analysis
Gutierrez, J.; Najib, M.; Perelli, G.; Wooldridge, M. - 04b Atto di convegno in volume
congresso: 16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018 (Los Angeles; United States)
libro: Automated Technology for Verification and Analysis - (978-3-030-01089-8; 978-3-030-01090-4)

11573/1403506 - 2018 - Imperfect information in Reactive Modules games
Gutierrez, Julian; Perelli, Giuseppe; Wooldridge, Michael - 01a Articolo in rivista
rivista: INFORMATION AND COMPUTATION (Academic Press Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)543-9534, (407)345-4100, EMAIL: ap@acad.com, INTERNET: http://www.idealibrary.com, Fax: (407)352-3445) pp. 650-675 - issn: 0890-5401 - wos: WOS:000436492900004 (16) - scopus: 2-s2.0-85042947713 (22)

11573/1403401 - 2017 - Hierarchical cost-parity games
Bozzelli, L.; Murano, A.; Perelli, G.; Sorrentino, L. - 04b Atto di convegno in volume
congresso: 24th International Symposium on Temporal Representation and Reasoning, TIME 2017 (Mons; Belgium)
libro: 24th International Symposium on Temporal Representation and Reasoning (TIME 2017) - (978-395977052-1)

11573/1403135 - 2017 - Nash equilibrium and bisimulation invariance
Gutierrez, J.; Harrenstein, P.; Perelli, G.; Wooldridge, M. - 04b Atto di convegno in volume
congresso: 28th International Conference on Concurrency Theory, CONCUR 2017 (Berlin; Germany)
libro: 28th International Conference on Concurrency Theory (CONCUR 2017) - ()

11573/1403146 - 2017 - Nash equilibria in concurrent games with lexicographic preferences
Gutierrez, J.; Murano, A.; Perelli, G.; Rubin, S.; Wooldridge, M. - 04c Atto di convegno in rivista
rivista: IJCAI (Harcourt Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)745-7323, (415)392-2665, Fax: (415)982-2665) pp. 1067-1073 - issn: 1045-0823 - wos: WOS:000764137501026 (16) - scopus: 2-s2.0-85031909443 (21)
congresso: 26th International Joint Conference on Artificial Intelligence, IJCAI 2017 (Melbourne; Australia)

11573/1403352 - 2017 - Iterated games with LDL goals over finite traces
Gutierrez, J.; Perelli, G.; Wooldridge, M. - 04b Atto di convegno in volume
congresso: 16th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2017 (Sao Paulo; Brazil)
libro: AAMAS '17: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems - (978-151085507-6)

11573/1403446 - 2017 - Reasoning about strategies: On the satisfiability problem
Mogavero, F.; Murano, A.; Perelli, G.; Vardi, M. Y. - 01a Articolo in rivista
rivista: LOGICAL METHODS IN COMPUTER SCIENCE (Braunschweig : Logical Methods in Computer Science c/o Institut f. Theoretische Informatik, Technische Universität Braunschweig.) pp. - - issn: 1860-5974 - wos: WOS:000418916500016 (28) - scopus: 2-s2.0-85029752588 (48)

11573/1399941 - 2016 - Solving parity games using an automata-based algorithm
Di Stasio, A.; Murano, A.; Perelli, G.; Vardi, M. Y. - 04b Atto di convegno in volume
congresso: 21st International Conference on Implementation and Application of Automata, CIAA 2016 (Seoul; South Korea)
libro: Implementation and Application of Automata - (978-3-319-40946-7; 978-3-319-40945-0)

11573/1403398 - 2016 - Cycle detection in computation tree logic
Fontaine, G.; Mogavero, F.; Murano, A.; Perelli, G.; Sorrentino, L. - 04c Atto di convegno in rivista
rivista: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE ([S.l.] : Open Publishing Association) pp. 164-177 - issn: 2075-2180 - wos: WOS:000390325800013 (2) - scopus: 2-s2.0-85009929215 (2)
congresso: 7th International Symposium on Games, Automata, Logics and Formal Verification, G and ALF 2016 (Catania; Italy)

11573/1402026 - 2016 - Expressiveness and nash equilibrium in iterated boolean games
Gutierrez, J.; Harrenstein, P.; Perelli, G.; Wooldridge, M. - 04b Atto di convegno in volume
congresso: 15th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2016 (Singapore; Singapore)
libro: AAMAS '16: Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems - (978-145034239-1)

11573/1402035 - 2016 - Imperfect information in reactive modules games
Gutierrez, J.; Perelli, G.; Wooldridge, M. - 04b Atto di convegno in volume
congresso: 15th International Conference on Principles of Knowledge Representation and Reasoning, KR 2016 (Cape Town; South Africe)
libro: Proceedings, Fifteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2016) - ()

11573/1403444 - 2016 - Synthesis with rational environments
Kupferman, O.; Perelli, G.; Vardi, M. Y. - 01a Articolo in rivista
rivista: ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE (Basel: J.C. Baltzer AG) pp. 3-20 - issn: 1012-2443 - wos: WOS:000382883900002 (41) - scopus: 2-s2.0-84975230367 (65)

11573/1403529 - 2016 - Checking interval properties of computations
Molinari, Alberto; Montanari, Angelo; Murano, Aniello; Perelli, Giuseppe; Peron, Adriano - 01a Articolo in rivista
rivista: ACTA INFORMATICA (Heidelberg ; Berlin : Springer) pp. 587-619 - issn: 1432-0525 - wos: WOS:000383702800003 (20) - scopus: 2-s2.0-84947601474 (43)

11573/1403412 - 2016 - Rational verification: From model checking to equilibrium checking
Wooldridge, M.; Gutierrez, J.; Harrenstein, P.; Marchioni, E.; Perelli, G.; Toumi, A. - 04b Atto di convegno in volume
congresso: 30th AAAI Conference on Artificial Intelligence, AAAI 2016 (Phoenix; United States)
libro: 30th AAAI Conference on Artificial Intelligence, AAAI 2016 - (978-157735760-5)

11573/1403138 - 2015 - Synthesis with rational environments
Kupferman, O.; Perelli, G.; Vardi, M. Y. - 04b Atto di convegno in volume
congresso: 12th European Conference on Multi-Agent Systems, EUMAS 2014 (Prague; Czech Republic)
libro: Multi-Agent Systems - (978-3-319-17129-6; 978-3-319-17130-2)

11573/1403141 - 2015 - Binding forms in first-order logic
Mogavero, F.; Perelli, G. - 04b Atto di convegno in volume
congresso: 24th EACSL Annual Conference on Computer Science Logic, CSL 2015 (Berlin; Germany)
libro: 24th EACSL Annual Conference on Computer Science Logic (CSL 2015) - (978-3-939897-90-3)

11573/1403374 - 2015 - Pushdown multi-agent system verification
Murano, A.; Perelli, G. - 04c Atto di convegno in rivista
rivista: IJCAI (Harcourt Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)745-7323, (415)392-2665, Fax: (415)982-2665) pp. 1090-1097 - issn: 1045-0823 - wos: WOS:000442637801025 (8) - scopus: 2-s2.0-84949766488 (13)
congresso: 24th International Joint Conference on Artificial Intelligence, IJCAI 2015 (Buenos Aires; Argentina)

11573/1403125 - 2015 - Multi-agent path planning in known dynamic environments
Murano, A.; Perelli, G.; Rubin, S. - 04b Atto di convegno in volume
congresso: 18th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2015 (Bertinoro; Italy)
libro: PRIMA 2015: Principles and Practice of Multi-Agent Systems - (978-3-319-25523-1; 978-3-319-25524-8)

11573/1403438 - 2014 - Reasoning about strategies: On the model-checking problem
Mogavero, F.; Murano, A.; Perelli, G.; Vardi, M. Y. - 01a Articolo in rivista
rivista: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC (New York, NY : Association for Computing Machinery, c2000-) pp. 1-47 - issn: 1529-3785 - wos: WOS:000345570700009 (130) - scopus: 2-s2.0-84914173732 (208)

11573/1403133 - 2014 - Checking interval properties of computations
Montanari, A.; Murano, A.; Perelli, G.; Peron, A. - 04b Atto di convegno in volume
congresso: 21st International Symposium on Temporal Representation and Reasoning, TIME 2014 (Verona; Italy)
libro: 2014 21st International Symposium on Temporal Representation and Reasoning - (978-1-4799-4227-5; 978-1-4799-4228-2)

11573/1403378 - 2012 - What makes ATL* decidable? A decidable fragment of strategy logic
Mogavero, F.; Murano, A.; Perelli, G.; Vardi, M. Y. - 04b Atto di convegno in volume
congresso: 23rd International Conference on Concurrency Theory, CONCUR 2012 (Newcastle upon Tyne; United Kingdom)
libro: CONCUR 2012 – Concurrency Theory - (978-3-642-32939-5; 978-3-642-32940-1)

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