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. Mean-Payoff-Parity and Lifting Strategies from MDPs to 2-Player Stochastic Games. CONCUR 2026 (To appear) [arXiv]
  2. Finite-Memory Strategies for Almost-Sure Energy–MeanPayoff Objectives in MDPs. ICALP 2024. [arXiv]
  3. Approximating the Value of Energy-Parity Objectives in Simple Stochastic Games. MFCS 2023. [arXiv]
  4. On the Decidability of Reachability in Continuous-Time LTI Systems. HSCC 2021. [arXiv]

Full list on
Google Scholar.