Search papers, labs, and topics across Lattice.
1
0
2
25
Guaranteeing safety in autonomous systems gets a boost: this work enables formal verification of hybrid system code that directly controls physical processes.
