Combination of Refinement and Verification for the Construction of Lyapunov Functions using Radial Basis Functions In Proceedings of the 15th International Conference on Informatics in Control, Automation and Robotics - Volume 1: CTDE, 569-578, 2018 , Porto, Portugal