Fall 2025

ECE/CS 584: Embedded & Cyber-physical System Verification

9/09 Campuswire and video recordings channel created.

8/22 Tentative schedule is posted.

8/15 We will follow the textbook Cyber-Physical Systems: A Formal Approach (Amazon) by Sayan Mitra, for which the supplementary material is available at this link. There will be new topics and examples on AI-enabled systems.