Speaker
Paul Kröger
Talks at this conference:
| Tue, 10:30 | Cutting Corners on Uncertainty: Zonotope Abstractions for Stream-based Runtime Monitoring Live |
Sponsored by:
Formal Methods Europe
Speaker
| Tue, 10:30 | Cutting Corners on Uncertainty: Zonotope Abstractions for Stream-based Runtime Monitoring Live |