Speaker
Valdemar Tang Evans
Talks at this conference:
| Tue, 14:00 | Logical Compression: Source Coding for Distributed Temporal Logic Monitoring Live |
| Wed, 13:30 | mstlo: Efficient Online Monitoring of Signal Temporal Logic Live |
Sponsored by:
Formal Methods Europe
