Things
Technical notes, unpublished works, and slides.
Ph.D. Defense
Seminar Slides: Verifying Cyber-Physical Systems
I initiated, designed, and taught an informal seminar based on Prof. Sayan Mitra's book Verifying Cyber-Physical Systems. The group met monthly and was primarily intended for PhD students interested in safety-critical cyber-physical systems research.
Chapters 1–2
Chapter 3
Chapter 6
Chapter 7
Chapter 9