Sadegh Soudjani
9 papers · 2024–2026 · 4 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🌉
Interdisciplinary Bridge · Silver
🗺️
Taxonomy Completionist
(20)
🏆
Keyword Champion
(4)
🌈
Renaissance Researcher
(5)
Venues
Top co-authors
Research topics
Keywords
stochastic system
(4)
controller synthesis
(2)
temporal logic
(2)
formal verification
(2)
markov decision process
(2)
interval markov decision process
(2)
dynamical system
(1)
online algorithm
(1)
incremental learning
(1)
nonparametric estimation
(1)
continuous control
(1)
kernel embedding
(1)
abstraction refinement
(1)
reproducing kernel hilbert space
(1)
stochastic game
(1)
lipschitz constant
(1)
markov game
(1)
safety verification
(1)
reach-avoid problem
(1)
lyapunov function
(1)
Papers
BarrierBench: Evaluating Large Language Models for Safety Verification in Dynamical Systems
L4DC 2026
Incremental Data-Driven Policy Synthesis via Game Abstractions
AAAI 2026
Kernel-Based Safe Exploration in Deep Reinforcement Learning
L4DC 2026
LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems
AAAI 2026
Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems
L4DC 2025
Regret-Free Reinforcement Learning for Temporal Logic Specifications
ICML 2025
Robust Control of Uncertain Switched Affine Systems via Scenario Optimization
L4DC 2025
Assume-Guarantee Reinforcement Learning
AAAI 2024
Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation
AISTATS 2024