Adaptive Meshes and Contraction Condition Certification for Nonlinear Control Synthesis Using Machine Learning | IEEE Conference Publication | IEEE Xplore