Combination of Refinement and Verification for the Construction of Lyapunov Functions using Radial Basis Functions. - Peter Giesl; Najla Mohammed (ICINCO (1), 2018)