Runtime Verification 2026

Regular Paper

Logical Compression: Source Coding for Distributed Temporal Logic Monitoring

V. Evans, D. Lucani, H. Cheng, T. Wright, C. Gomes

on Tue, 14:00in Rose Innovation Hubfor 30min

Overview Program

Sponsored by:

Formal Methods Europe