Speaker
Thomas Henzinger
Talks at this conference:
| Tue, 16:00 | Shielding for Higher-Order Safety Live |
| Fri, 13:30 | Monitoring Hyperproperties over Observed and Constructed Traces Live |
Sponsored by:
Formal Methods Europe
Speaker
| Tue, 16:00 | Shielding for Higher-Order Safety Live |
| Fri, 13:30 | Monitoring Hyperproperties over Observed and Constructed Traces Live |