SAIV 2025

Speaker

Thomas A Henzinger

Talks at this conference:
 Mon, 14:30 Neural Control and Certificate Repair via Runtime Monitoring
 Mon, 15:00 Control Barrier Functions with Lookahead
 Mon, 15:30 Logic Gate Neural Networks are Good for Verification
 Tue, 9:00 Monitoring Robustness and Individual Fairness

 Overview