Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints
Published in Logical Methods in Computer Science, 2024
Download here
Publications
You can also find my articles on my Google Scholar and DBLP profiles. All of them are open access, or there is an unpaywalled version available. Please email me if you’re struggling to download any of my papers. Thank you for showing interest in my work!
Synthesis of Reward Machines for Multi-Agent Equilibrium Design
Published in Proceedings of the 27th European Conference on Artificial Intelligence (ECAI-24), 2024
Download here
Endogenous Energy Reactive Modules Games: Modelling Side Payments among Resource-Bounded Agents
Published in Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence (IJCAI-24), 2024
Download here
Concurrent Stochastic Lossy Channel Games
Published in 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), Naples, Italy, 2024
Download here
Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games
Published in 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), Naples, Italy, 2024
Download here
On the Complexity of Rational Verification
Published in Annals of Mathematics and Artificial Intelligence, 2022
Download here
Rational Verification for Probabilistic Systems
Published in The 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), 2021
Download here
Rational Verification: Game-Theoretic Verification of Multi-Agent Systems
Published in Applied Intelligence, 2021
Download here
Parameterized Synthesis with Safety Properties
Published in The 18th Asian Symposium on Programming Languages and Systems (APLAS), 2020
Download here
Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games
Published in Artificial Intelligence, 2020
Download here
Equilibrium Design for Concurrent Games
Published in The 30th International Conference on Concurrency Theory (CONCUR 2019), Amsterdam, the Netherlands, 2019
Download here
On Computational Tractability for Rational Verification
Published in the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019), Macao, China, 2019
Download here
EVE: A Tool for Temporal Equilibrium Analysis
Published in the 16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018), Los Angeles, USA, 2018
Download here