Search papers, labs, and topics across Lattice.
3
0
5
3
RLola can detect safety violations in cyber-physical systems that traditional monitoring methods miss, even in the presence of measurement noise.
RTLola users can now catch subtle timing inconsistencies in asynchronous stream monitors *before* runtime, thanks to a new type system.
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.
