Vinayak S. Prabhu

Ph.D. University of California at Berkeley

I am a postdoctoral researcher in the Rigorous Software Engineering group headed by Prof. Rupak Majumdar at the Max Planck Institute for Software Systems.


Research Areas


Program Committees

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



DBLP database    |    Journal publications



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