Search papers, labs, and topics across Lattice.
Institute of Science and Technology Austria
1
0
2
Confidence sequences can cut sample requirements by 50x in online statistical model checking of MDPs, transforming how we approach uncertainty in decision-making.