Our paper on continuous-time Lyapunov analysis was accepted at SIOPT!