Neural Control and Certificate Repair via Runtime Monitoring.

Emily Yu, Dorde Zikelic, Thomas A. Henzinger

Browse the full AAAI paper archive.