11573/1724302 - 2024 -
Strategies in Spatio-Temporal Logics for Multi-agent Systems Bottoni, Paolo; Labella, Anna; Perelli, Giuseppe - 04b Atto di convegno in volume
conference: International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (Crete, Greece)
book: 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
conference: International Joint Conference on Artificial Intelligence (Jeju, South Korea)
book: International Joint Conference on Artificial Intelligence - ()
11573/1729459 - 2024 -
Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints Gutierrez, Julian; Najib, Muhammad; Perelli, Giuseppe; Wooldridge, Michael - 01a Articolo in rivista
paper: 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: (0) - scopus: (0)
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
conference: International Joint Conference on Autonomous Agents and Multiagent Systems (Auckland; New Zealand)
book: 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
conference: European Conference on Artificial Intelligence (Santiago de Compostela, Spain)
book: European Conference on Artificial Intelligence - (9781643685489)
Varricchione, Giovanni; Alechina, Natasha; Dastani, Mehdi; De Giacomo, Giuseppe; Logan, Brian; Perelli, Giuseppe - 04b Atto di convegno in volume
conference: National Conference of the American Association for Artificial Intelligence (Vancouver, Canada)
book: 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
paper: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC (New York, NY : Association for Computing Machinery, c2000-) pp. 1-38 - issn: 1529-3785 - wos: WOS:001020345500003 (5) - scopus: 2-s2.0-85162699550 (4)
De Giacomo, G.; Perelli, G. - 04b Atto di convegno in volume
conference: European Conference on Multi-Agent Systems (Napoli)
book: 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
conference: European Conference on Artificial Intelligence (Cracovia; Poland)
book: 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)
Gaillard, Pierre; Patrizi, Fabio; Perelli, Giuseppe - 04b Atto di convegno in volume
conference: European Conference on Artificial Intelligence (Kraków; Poland)
book: 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
paper: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE (Dordrecht : Kluwer) pp. - - issn: 1573-7470 - wos: WOS:000825204300001 (1) - scopus: 2-s2.0-85134293064 (5)
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
conference: International Conference on the Principles of Knowledge Representation and Reasoning (Haifa, Israele)
book: 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
conference: International Symposium on Temporal Representation and Reasoning (Online)
book: 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
paper: APPLIED INTELLIGENCE (-DORDRECHT, NETHERLANDS: SPRINGER
-London ; Dordrecht ; Boston : Kluwer Academic Publishers) pp. - - issn: 0924-669X - wos: WOS:000680782800001 (10) - scopus: 2-s2.0-85111863560 (17)
De Giacomo, Giuseppe; Di Stasio, Antonio; Perelli, Giuseppe; Zhu, Shufang - 04b Atto di convegno in volume
conference: International Conference on the Principles of Knowledge Representation and Reasoning (Online event)
book: 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
conference: International Joint Conference on Artificial Intelligence (Montreal)
book: 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
conference: International Conference on the Principles of Knowledge Representation and Reasoning (Online event)
book: 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
paper: 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
paper: ACTA INFORMATICA (Heidelberg ; Berlin : Springer) pp. 585-610 - issn: 1432-0525 - wos: WOS:000539957100001 (9) - scopus: 2-s2.0-85086447375 (13)
11573/1551968 - 2021 -
Expressiveness and Nash Equilibrium in Iterated Boolean Games Gutierrez, Julian; Harrenstein, Paul; Perelli, Giuseppe; Wooldridge, Michael - 01a Articolo in rivista
paper: 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
conference: International Joint Conference on Autonomous Agents and Multiagent Systems (Auckland; New Zealand)
book: 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
conference: European Conference on Artificial Intelligence (Virtual Conference)
book: European Conference on Artificial Intelligence - ()
Bozzelli, Laura; Murano, Aniello; Perelli, Giuseppe; Sorrentino, Loredana - 01a Articolo in rivista
paper: 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
paper: ARTIFICIAL INTELLIGENCE (New York: American Elsevier Publishing Company
Amsterdam: North-Holland) pp. -25 - issn: 0004-3702 - wos: WOS:000567871600006 (10) - 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
paper: 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 (24)
conference: 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
paper: 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)
Gutierrez, J.; Najib, M.; Perelli, G.; Wooldridge, M. - 04b Atto di convegno in volume
conference: 30th International Conference on Concurrency Theory, CONCUR 2019 (Amsterdam; Netherlands)
book: 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
paper: 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)
conference: 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
conference: 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019 (Montreal; Canada)
book: 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
paper: 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 (18)
conference: 27th International Joint Conference on Artificial Intelligence, IJCAI 2018 (Stockholm; Sweden)
Fontaine, G.; Mogavero, F.; Murano, A.; Perelli, G.; Sorrentino, L. - 01a Articolo in rivista
paper: 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
conference: 16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018 (Los Angeles; United States)
book: 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
paper: 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 (18) - scopus: 2-s2.0-85042947713 (22)
Bozzelli, L.; Murano, A.; Perelli, G.; Sorrentino, L. - 04b Atto di convegno in volume
conference: 24th International Symposium on Temporal Representation and Reasoning, TIME 2017 (Mons; Belgium)
book: 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
conference: 28th International Conference on Concurrency Theory, CONCUR 2017 (Berlin; Germany)
book: 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
paper: 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)
conference: 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
conference: 16th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2017 (Sao Paulo; Brazil)
book: 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
paper: 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 (49)
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
conference: 21st International Conference on Implementation and Application of Automata, CIAA 2016 (Seoul; South Korea)
book: Implementation and Application of Automata - (978-3-319-40946-7; 978-3-319-40945-0)
Fontaine, G.; Mogavero, F.; Murano, A.; Perelli, G.; Sorrentino, L. - 04c Atto di convegno in rivista
paper: 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)
conference: 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
conference: 15th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2016 (Singapore; Singapore)
book: 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
conference: 15th International Conference on Principles of Knowledge Representation and Reasoning, KR 2016 (Cape Town; South Africe)
book: Proceedings, Fifteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2016) - ()
Kupferman, O.; Perelli, G.; Vardi, M. Y. - 01a Articolo in rivista
paper: ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE (Basel: J.C. Baltzer AG) pp. 3-20 - issn: 1012-2443 - wos: WOS:000382883900002 (42) - scopus: 2-s2.0-84975230367 (66)
11573/1403529 - 2016 -
Checking interval properties of computations Molinari, Alberto; Montanari, Angelo; Murano, Aniello; Perelli, Giuseppe; Peron, Adriano - 01a Articolo in rivista
paper: 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
conference: 30th AAAI Conference on Artificial Intelligence, AAAI 2016 (Phoenix; United States)
book: 30th AAAI Conference on Artificial Intelligence, AAAI 2016 - (978-157735760-5)
Kupferman, O.; Perelli, G.; Vardi, M. Y. - 04b Atto di convegno in volume
conference: 12th European Conference on Multi-Agent Systems, EUMAS 2014 (Prague; Czech Republic)
book: Multi-Agent Systems - (978-3-319-17129-6; 978-3-319-17130-2)
Mogavero, F.; Perelli, G. - 04b Atto di convegno in volume
conference: 24th EACSL Annual Conference on Computer Science Logic, CSL 2015 (Berlin; Germany)
book: 24th EACSL Annual Conference on Computer Science Logic (CSL 2015) - (978-3-939897-90-3)
Murano, A.; Perelli, G. - 04c Atto di convegno in rivista
paper: 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)
conference: 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
conference: 18th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2015 (Bertinoro; Italy)
book: 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
paper: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC (New York, NY : Association for Computing Machinery, c2000-) pp. 1-47 - issn: 1529-3785 - wos: WOS:000345570700009 (131) - scopus: 2-s2.0-84914173732 (209)
11573/1403133 - 2014 -
Checking interval properties of computations Montanari, A.; Murano, A.; Perelli, G.; Peron, A. - 04b Atto di convegno in volume
conference: 21st International Symposium on Temporal Representation and Reasoning, TIME 2014 (Verona; Italy)
book: 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
conference: 23rd International Conference on Concurrency Theory, CONCUR 2012 (Newcastle upon Tyne; United Kingdom)
book: CONCUR 2012 – Concurrency Theory - (978-3-642-32939-5; 978-3-642-32940-1)