Robuta

https://openreview.net/forum?id=JErNvd_lKHr Verified Path Following Using Neural Control Lyapunov Functions | OpenReview An expansion of neural Lyapunov control functions successfully tested on a real-world test platform lyapunov functions verified path following using https://www.kth.se/sv/dcs/calendar/safe-autonomous-lane-switching-controller-using-high-order-control-barrier-and-lyapunov-functions-1.1184667?date=2022-08-30&orgdate=2022-08-01&length=1&orglength=153 Safe autonomous lane-switching controller using high-order control barrier and Lyapunov functions |... https://openreview.net/forum?id=N67DlqK5C4 Certifying Stability of Reinforcement Learning Policies using Generalized Lyapunov Functions |... Establishing stability certificates for closed-loop systems under reinforcement learning (RL) policies is essential to move beyond empirical performance and... reinforcement learning certifying stability policies using https://uwaterloo.ca/hybrid-systems-lab/references/converse-barrier-functions-lyapunov-functions Converse Barrier Functions via Lyapunov Functions | Hybrid Systems Lab | University of Waterloo hybrid systems university of converse barrier functions