Search papers, labs, and topics across Lattice.
The University of Auckland
1
0
1
7
Weak non-negativity in supermartingales can boost verification success rates by over 20% in probabilistic programs, challenging the notion that strict constraints are necessary for soundness.
