@inproceedings{ibrahim2025neurreps, title={Mixed Monotonicity Reachability Analysis of Neural ODE: A Trade-Off Between Tightness and Efficiency}, author={Sayed, Abdelrahman Sayed and Meyer, Pierre-Jean and Ghazel, Mohamed}, booktitle={Workshop on Symmetry and Geometry in Neural Representations (NeurReps)}, year={2025}, }