A Theoretical Overview of Neural Contraction Metrics for Learning-based Control with Guaranteed Stability | IEEE Conference Publication | IEEE Xplore