Soudjani, Sadegh

5 publications

L4DC 2025 Data-Driven yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Mahdi Nazeri, Thom Badings, Sadegh Soudjani, Alessandro Abate

ICML 2025 Regret-Free Reinforcement Learning for Temporal Logic Specifications R Majumdar, Mahmoud Salamati, Sadegh Soudjani

L4DC 2025 Robust Control of Uncertain Switched Affine Systems via Scenario Optimization Negar Monir, Mahdieh S. Sadabadi, Sadegh Soudjani

AAAI 2024 Assume-Guarantee Reinforcement Learning Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez

AISTATS 2024 Formal Verification of Unknown Stochastic Systems via Non-Parametric Estimation Zhi Zhang, Chenyu Ma, Saleh Soudijani, Sadegh Soudjani