Raphaël M. Jungers
3 papers
· 2021–2024
· 2 conferences
· across top CS/AI conferences
Achievements
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🌍
Conference Polyglot
(2)
🐝
Cross-Pollinator
(6)
🌈
Renaissance Researcher
(5)
🗺️
Taxonomy Completionist
(15)
Conferences
L4DC (2)
AAAI (1)
Top co-authors
Keywords
switched linear system
(2)
stability analysis
(2)
model predictive control
(1)
formal verification
(1)
branch and bound
(1)
optimal control
(1)
approximate dynamic programming
(1)
dynamical system
(1)
control theory
(1)
hybrid system
(1)
safety verification
(1)
probabilistic guarantee
(1)
quasi-convex optimization
(1)
chance-constrained optimization
(1)
neural lyapunov function
(1)
hybrid optimal control
(1)
reinforcement learning
(1)
alternating simulation
(1)
branch and bound algorithm
(1)