Speaker
Emily Yu
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 |
Speaker
| 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 |