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