Giuseppe Perelli
Membro di
Ultime pubblicazioni
Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints in LOGICAL METHODS IN COMPUTER SCIENCE | 2024 |
Endogenous Energy Reactive Modules Games: Modelling Side Payments among Resource-Bounded Agents in International Joint Conference on Artificial Intelligence | 2024 |
Incentive Design for Rational Agents in International Conference on the Principles of Knowledge Representation and Reasoning | 2024 |
Playing Quantitative Games Against an Authority: On the Module Checking Problem in International Joint Conference on Autonomous Agents and Multiagent Systems | 2024 |
Pure-Past Action Masking in National Conference of the American Association for Artificial Intelligence | 2024 |
Strategies in Spatio-Temporal Logics for Multi-agent Systems in International Symposium on Leveraging Applications of Formal Methods, Verification and Validation | 2024 |
Synthesis of Reward Machines for Multi-Agent Equilibrium Design in European Conference on Artificial Intelligence | 2024 |