Generating Stable and Collision-Free Policies through Lyapunov Function Learning | IEEE Conference Publication | IEEE Xplore