Speaker
Ekaterina Komendantskaya
Talks at this conference:
| Mon, 11:20 | Neural Network Verification for Gliding Drone Control: A Case Study |
| Mon, 16:20 | Quantifiers for Differentiable Logics in Rocq |
Speaker
| Mon, 11:20 | Neural Network Verification for Gliding Drone Control: A Case Study |
| Mon, 16:20 | Quantifiers for Differentiable Logics in Rocq |