Giuseppe Perelli

Pubblicazioni

Titolo Pubblicato in Anno
Equilibria for Games with Combined Qualitative and Quantitative Objects ACTA INFORMATICA 2020
Automated temporal equilibrium analysis: Verification and synthesis of multi-player games ARTIFICIAL INTELLIGENCE 2020
Reconfigurable Interaction for MAS Modelling 2020
Reasoning about Quality and Fuzziness of Strategic Behaviour ECAI 2020 2020
Hierarchical Cost-Parity Games THEORETICAL COMPUTER SCIENCE 2020
On computational tractability for rational verification IJCAI 2019
Nash equilibrium and bisimulation invariance LOGICAL METHODS IN COMPUTER SCIENCE 2019
Enforcing equilibria in multi-agent systems AAMAS '19: Proceedings of the 18th International Conference on Autonomous Agents and Multi Agent Systems 2019
Equilibrium design for concurrent games 30th International Conference on Concurrency Theory (CONCUR 2019) 2019
Reasoning about quality and fuzziness of strategic behaviours IJCAI 2019
EVE: A Tool for Temporal Equilibrium Analysis Automated Technology for Verification and Analysis 2018
Cycle detection in computation tree logic INFORMATION AND COMPUTATION 2018
Synthesis of controllable Nash equilibria in quantitative objective games IJCAI 2018
Imperfect information in Reactive Modules games INFORMATION AND COMPUTATION 2018
Reasoning about strategies: On the satisfiability problem LOGICAL METHODS IN COMPUTER SCIENCE 2017
Hierarchical cost-parity games 24th International Symposium on Temporal Representation and Reasoning (TIME 2017) 2017
Nash equilibria in concurrent games with lexicographic preferences IJCAI 2017
Nash equilibrium and bisimulation invariance 28th International Conference on Concurrency Theory (CONCUR 2017) 2017
Iterated games with LDL goals over finite traces AAMAS '17: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems 2017
Solving parity games using an automata-based algorithm Implementation and Application of Automata 2016

Progetti di Ricerca

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