Speaker
Julien Girard-Satabin
More Information:
Talks at this conference:
| Sat, 11:15 | Verification of LTL properties on Neural Networks for Chemical Process Monitoring |
| Sat, 15:15 | Principled Rewriting of ONNX Operators for Reluctant Solvers |
Speaker
| Sat, 11:15 | Verification of LTL properties on Neural Networks for Chemical Process Monitoring |
| Sat, 15:15 | Principled Rewriting of ONNX Operators for Reluctant Solvers |