Vinayak S. Prabhu

Ph.D. University of California at Berkeley
EMail

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)

 

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 2016]. Available at Github