Michele Boreale, Luisa Collodi. Linearization and Model Reduction in Zonotope-Based Reachability Analysis of Nonlinear ODEs. In Luca Moscardelli, editor, Proceedings of the 26th Italian Conference on Theoretical Computer Science, Pescara, Italy, September 10-12, 2025. Volume 4039 of CEUR Workshop Proceedings, pages 140-146, CEUR-WS.org, 2025. [doi]
Abstract is missing.