Speaker
Hei Victor Cheng
Talks at this conference:
| Tue, 14:00 | Logical Compression: Source Coding for Distributed Temporal Logic Monitoring Live |
Sponsored by:
Formal Methods Europe
Speaker
| Tue, 14:00 | Logical Compression: Source Coding for Distributed Temporal Logic Monitoring Live |