Search papers, labs, and topics across Lattice.
1
0
2
4
Guarantee runtime safety in complex cyber-physical systems with unbounded data domains using a refinement type system for parameterized streams, even though it's generally undecidable.
