Teaching COMP313 Formal Methods Supervised Theses Verification and Validation of Machine Learning Safety in Learning-Enabled Autonomous Systems