Pinned Repositories
Unknown_Neural_Lyapunov
Neural Lyapunov control of unknown nonlinear systems with stability guarantees
RuikunZhou
dreal4
Automated Reasoning in Nonlinear Theories of Reals
RuikunZhou's Repositories
RuikunZhou/RuikunZhou
RuikunZhou/Unknown_Neural_Lyapunov
Neural Lyapunov control of unknown nonlinear systems with stability guarantees