Giuseppe Perelli

Pubblicazioni

Titolo Pubblicato in Anno
Pure-Past Action Masking National Conference of the American Association for Artificial Intelligence 2024
Playing Quantitative Games Against an Authority: On the Module Checking Problem International Joint Conference on Autonomous Agents and Multiagent Systems 2024
Endogenous Energy Reactive Modules Games: Modelling Side Payments among Resource-Bounded Agents International Joint Conference on Artificial Intelligence 2024
Synthesis of Reward Machines for Multi-Agent Equilibrium Design European Conference on Artificial Intelligence 2024
Strategies in Spatio-Temporal Logics for Multi-agent Systems International Symposium on Leveraging Applications of Formal Methods, Verification and Validation 2024
Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints LOGICAL METHODS IN COMPUTER SCIENCE 2024
Incentive Design for Rational Agents International Conference on the Principles of Knowledge Representation and Reasoning 2024
Reasoning about Quality and Fuzziness of Strategic Behaviors ACM TRANSACTIONS ON COMPUTATIONAL LOGIC 2023
Strategy Repair in Reachability Games European Conference on Artificial Intelligence 2023
Optimal Alignment of Temporal Knowledge Bases European Conference on Artificial Intelligence 2023
Behavioral QLTL EUMAS 2023 2023
Giving Instructions in Linear Temporal Logic Time 2022 2022
Automatic Synthesis of Dynamic Norms for Multi-Agent Systems KR 2022 2022
On the complexity of rational verification ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE 2022
Expressiveness and Nash Equilibrium in Iterated Boolean Games ACM TRANSACTIONS ON COMPUTATIONAL LOGIC 2021
HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs IJCAI 2021 2021
Rational verification: Game-Theoretic Verification of Multi-Agent Systems APPLIED INTELLIGENCE 2021
Synthesis with Mandatory Stop Actions KR 2021 2021
Timed Trace Alignment with Metric Temporal Logic over Finite Traces KR 2021 2021
Multi-player games with LDL goals over finite traces INFORMATION AND COMPUTATION 2020

Progetti di Ricerca

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