CSE-643: Cyber-Physical Systems & Verification Seminar (Fall 2021)