Search papers, labs, and topics across Lattice.
1
0
2
Forget exhaustive verification: a surprisingly small number of tests can steer complex software systems towards desired goals by exploiting the "Sparsity of Influence".
