Neural Lyapunov Control of Unknown Nonlinear Systems with Stability Guarantees. - Ruikun Zhou; Thanin Quartz; Hans De Sterck; Jun Liu 015 (NeurIPS, 2022)

Manifold-Guided Lyapunov Control with Diffusion Models. - Amartya Mukherjee; Thanin Quartz; Jun Liu 015 (CoRR, 2024)

Stochastic Reinforcement Learning with Stability Guarantees for Control of Unknown Nonlinear Systems. - Thanin Quartz; Ruikun Zhou; Hans De Sterck; Jun Liu 015 (CoRR, 2024)

Signal Temporal Logic Planning with Time-Varying Robustness. - Yating Yuan; Thanin Quartz; Jun Liu (CoRR, 2024)

Signal Temporal Logic Planning With Time-Varying Robustness. - Yating Yuan; Thanin Quartz; Jun Liu 015 (IEEE Control. Syst. Lett., 2024)

Manifold-Guided Stabilization of Nonlinear Dynamical Systems with Diffusion Models. - Amartya Mukherjee; Thanin Quartz; Jun Liu 015 (ACC, 2025)