PPaperPicks

Sadegh Soudjani

6 papers at tracked venues · 4 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×3AISTATS ×1HotOS ×1ICML ×1

Frequent coauthors

Rupak Majumdar
×2
Mahmoud Salamati
×2
Irmak Saglam
×1
Mahdi Nazeri
×1
Alessandro Abate
×1
Anne-Kathrin Schmuck
×1
Ernesto Casablanca
×1
Oliver Schön
×1
Paolo Zuliani
×1
Rebecca Isaacs
×1
Peter Alvaro
×1
Kiran Kumar
×1

Papers

  1. Incremental Data-Driven Policy Synthesis via Game Abstractions
    AAAI 2026 ·
    Irmak Saglam
    ,
    Mahdi Nazeri
    ,
    Alessandro Abate
    , Sadegh Soudjani,
    Anne-Kathrin Schmuck
  2. LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems
    AAAI 2026 ·
    Ernesto Casablanca
    ,
    Oliver Schön
    ,
    Paolo Zuliani
    , Sadegh Soudjani
  3. Analyzing Metastable Failures
    HotOS 2025 ·
    Rebecca Isaacs
    ,
    Peter Alvaro
    ,
    Rupak Majumdar
    ,
    Kiran Kumar
    ,
    Muniswamy Reddy
    ,
    Mahmoud Salamati
    , Sadegh Soudjani
  4. Regret-Free Reinforcement Learning for Temporal Logic Specifications
    ICML 2025 ·
    Rupak Majumdar
    ,
    Mahmoud Salamati
    , Sadegh Soudjani
  5. Assume-Guarantee Reinforcement Learning
    AAAI 2024 ·
    Milad Kazemi
    ,
    Mateo Perez
    ,
    Fabio Somenzi
    , Sadegh Soudjani,
    Ashutosh Trivedi
    ,
    Alvaro Velasquez
  6. Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation
    AISTATS 2024 ·
    Zhi Zhang
    ,
    Chenyu Ma
    ,
    Saleh Soudijani
    , Sadegh Soudjani