Ruikun Zhou
3 papers · 2022–2025 · 3 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
Venues
Top co-authors
Research topics
Keywords
formal verification
(1)
optimal control
(1)
lyapunov function
(1)
value function
(1)
system identification
(1)
policy iteration
(1)
model-based reinforcement learning
(1)
nonlinear control
(1)
convergence guarantee
(1)
dynamical system
(1)
nonlinear dynamical system
(1)
physics-informed neural network
(1)
neural control
(1)
stability guarantee
(1)
koopman operator
(1)
neural network control
(1)
satisfiability modulo theories
(1)
extreme learning machine
(1)
linear partial differential equations
(1)