Research Interests

• Equilibria and Learning
• Path following algorithms
• Strategy synthesis in stochastic games
• Verification of dynamical systems
• Connections to reinforcement learning

Peer-Reviewed Publications

1. Finite-Memory Strategies for Almost-Sure Energy–MeanPayoff Objectives in MDPs. ICALP 2024. [arXiv]
2. Approximating the Value of Energy-Parity Objectives in Simple Stochastic Games. MFCS 2023. [arXiv]
3. On the Decidability of Reachability in Continuous-Time LTI Systems. HSCC 2021. [arXiv]

Full list on
Google Scholar.