Office: Computer Science Building 446
Phone: (970) 491-4192
Website: https://www.cs.colostate.edu/~vsp/
About
Cyber-physical Systems, Formal Methods, Hybrid Systems, Verification and Control
Office: Computer Science Building 446
Phone: (970) 491-4192
Website: https://www.cs.colostate.edu/~vsp/
About