Combination of Refinement and Verification for the Construction of Lyapunov Functions using Radial Basis Functions.

Peter Giesl, Najla Mohammed

Browse the full ICINCO paper archive.