Colorado State University

Vinayak S. Prabhu

Ph.D. University of California at Berkeley
EMail

Assistant Professor
Department of Computer Science
Colorado State University

Office: CSB 446

 


Research Areas

 


Program Committees

21st ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2018)

20th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2017)

 


Publications

DBLP database    |    Journal publications

 

Software

I have written a tool (C++) for computing the Skorokhod distance between two continuous-time traces (given as sampled time-points) based on the work in [CAV 2015], [FMSD 2017]. Available at Github

 

Legal Information
Imprint / Data Protection