Dj's research website
Dj's research website
Home
Publications
CV
Rudy R Bunel
Latest
Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications
An efficient nonconvex reformulation of stagewise convex optimization problems
Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming
Cite
×