Two papers accepted at CDC 2025! Both on advancing the theoretical foundations of abstraction-based policy synthesis for stochastic systems: one approach data-driven and the other model-based.

  1. "Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics" with Mahdi Nazeri, Anne-Kathrin Schmuck, Sadegh Soudjani, and Alessandro Abate
  2. "Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems" with Alessandro Abate

I look forward to participating in the world’s leading control conference this December in Rio de Janeiro.