SAIV 2025

Speaker

Đorđe Žikelić

Talks at this conference:
 Mon, 14:30 Neural Control and Certificate Repair via Runtime Monitoring
 Mon, 15:00 Control Barrier Functions with Lookahead
 Tue, 16:00 Certificate-Guided Evaluation of Reinforcement Learning Generalization

 Overview