Tutorial: Design Automation for ML-enabled Cyber-Physical Systems: From Verification to Synthesis.

Samarjit Chakraborty, Jingtong Hu, Qi Zhu

Browse the full EMSOFT paper archive.