Search papers, labs, and topics across Lattice.
1
0
2
14
Guaranteeing safety and liveness in complex control systems doesn't require monolithic design; this work shows how to decompose the problem across layers with formal contracts.
