Computer Science Thesis Oral
YONG KIAM TAN
Deductive Verification for Ordinary Differential Equations: Safety, Liveness, and Stability
In Person and Virtual - ET Traffic21 Classroom, Gates Hillman 6501 and Zoom