PPaperPicks

Sadegh Soudjani

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×3AISTATS ×1ICML ×1

Frequent coauthors

Irmak Saglam
DBLP profile ↗ORCID search ↗
×1
Ernesto Casablanca
DBLP profile ↗ORCID search ↗
×1
Rupak Majumdar
DBLP profile ↗ORCID search ↗
×1
Milad Kazemi
DBLP profile ↗ORCID search ↗
×1
Zhi Zhang
DBLP profile ↗ORCID search ↗
×1

Papers

  1. Incremental Data-Driven Policy Synthesis via Game Abstractions
    AAAI 2026 ·
    Irmak Saglam
    DBLP profile ↗ORCID search ↗
  2. LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems
    AAAI 2026 ·
    Ernesto Casablanca
    DBLP profile ↗ORCID search ↗
  3. Regret-Free Reinforcement Learning for Temporal Logic Specifications
    ICML 2025 ·
    Rupak Majumdar
    DBLP profile ↗ORCID search ↗
  4. Assume-Guarantee Reinforcement Learning
    AAAI 2024 ·
    Milad Kazemi
    DBLP profile ↗ORCID search ↗
  5. Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation
    AISTATS 2024 ·
    Zhi Zhang
    DBLP profile ↗ORCID search ↗