Abraham P. Vinod
Abraham P. Vinod
Home
Publications
Posts
Projects
Contact
CV
Resume
featured_pub
Convexified contextual optimization for on-the-fly control of smooth systems
SReachTools: a MATLAB stochastic reachability toolbox
Probabilistic Occupancy Function and Sets Using Forward Stochastic Reachability for Rigid-Body Dynamic Obstacles
Scalable Underapproximative Verification of Stochastic LTI Systems using Convexity and Compactness
Stochastic reachability of a target tube: Theory and computation
Forward stochastic reachability analysis for uncontrolled linear systems using Fourier Transforms
Cite
×