Dj's research website
Dj's research website
Home
Publications
CV
Sumanth Dathathri
Latest
Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications
Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming
Cite
×