Dj's research website
Dj's research website
Home
Posts
Publications
CV
Automating Stochastic Optimal Control
Krishnamurthy Dvijotham
March 2014
PDF
Cite
Type
Thesis
Related
Scalable Verified Training for Provably Robust Image Classification
Learning Fast Optimizers for Contextual Stochastic Integer Programs
A dual approach to scalable verification of deep networks
Graphical models for optimal power flow
Error bounds on the DC power flow approximation: A convex relaxation approach
Cite
×