Search papers, labs, and topics across Lattice.
Institute of Science and Technology Austria
2
0
4
Safety shields can now enforce complex derivative constraints without sacrificing efficiency, enabling safer and more flexible control in cyber-physical systems.
Confidence sequences can cut sample requirements by 50x in online statistical model checking of MDPs, transforming how we approach uncertainty in decision-making.
