Sadegh Soudjani
7 papers
· 2024–2026
· 4 conferences
· across top CS/AI conferences
Achievements
π§
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
Assume-Guarantee Reinforcement Learning
AAAI 2024