Raphaël M. Jungers
3 papers · 2021–2024 · 2 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 · Gold
🗺️
Taxonomy Completionist
(14)
Top co-authors
Research topics
Keywords
stability analysis
(2)
switched linear system
(2)
formal verification
(1)
branch and bound
(1)
optimal control
(1)
approximate dynamic programming
(1)
branch-and-bound algorithm
(1)
dynamical system
(1)
control theory
(1)
hybrid system
(1)
safety verification
(1)
probabilistic guarantee
(1)
chance-constrained optimization
(1)
neural lyapunov function
(1)
quasiconvex optimization
(1)
hybrid optimal control
(1)
reinforcement learning
(1)
alternating simulation
(1)
model predictive control
(1)