Search papers, labs, and topics across Lattice.
4
0
4
11
Slice transforms continuous probabilistic programs into discrete forms, enabling exact inference where previous methods fail.
Achieving optimal outcomes in probabilistic programs is now possible with a novel framework that synthesizes strategies across multiple objectives simultaneously.
Achieving orders of magnitude speedup in quantitative network analysis, this tool enables engineers to efficiently navigate complex design trade-offs.
Automate quantitative network verification, even with unbounded iteration, using a new language and automata model.
