Sadegh Soudjani
7 papers · 2024–2026 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
π§
Keyword Pioneer
π
Conference Polyglot
(4)
π
Cross-Pollinator
(10)
π
Interdisciplinary Bridge
π
Keyword Champion
(2)
Conferences
AAAI (3)
L4DC (2)
AISTATS (1)
ICML (1)
Top co-authors
Keywords
stochastic system
(2)
formal verification
(2)
temporal logic
(2)
abstraction refinement
(1)
markov decision process
(1)
reproducing kernel hilbert space
(1)
lipschitz constant
(1)
stochastic game
(1)
markov game
(1)
non-parametric estimation
(1)
stochastic dynamical system
(1)
interval markov decision process
(1)
control barrier certificate
(1)
controller synthesis
(1)
regular language
(1)
multi-agent system
(1)
assume-guarantee paradigm
(1)
modular environment
(1)
probability of satisfaction
(1)
safety certification
(1)
Papers
LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems
AAAI 2026
Incremental Data-Driven Policy Synthesis via Game Abstractions
AAAI 2026
Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems
L4DC 2025
Robust Control of Uncertain Switched Affine Systems via Scenario Optimization
L4DC 2025
Regret-Free Reinforcement Learning for Temporal Logic Specifications
ICML 2025
Assume-Guarantee Reinforcement Learning
AAAI 2024
Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation
AISTATS 2024