Publications

See my publications also on DBLP, ResearchGate, and Google Scholar

Publication list organized by year:

2024



2023


2022





2021

 


2020



2019


2017


Posters: 

Quantitative Module Checking
(AAMAS 2024)

Discounting in Strategy Logic (IJCAI 2023)

Formal Verification of Bayesian Mechanisms (AAAI 23)

Automated Synthesis of Mechanisms (IJCAI 2022)