References

[1]: Althoff, M., Le Guernic, C., & Krogh, B. H. (2011, April). Reachable set computation for uncertain time-varying linear systems. In Proceedings of the 14th international conference on Hybrid systems: computation and control (pp. 93-102).

[2]: Althoff, M., Stursberg, O., & Buss, M. (2008, December). Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization. In 2008 47th IEEE Conference on Decision and Control (pp. 4042-4048). IEEE.

[3]: Xue, B., She, Z., & Easwaran, A. (2016, July). Under-approximating backward reachable sets by polytopes. In International Conference on Computer Aided Verification (pp. 457-476). Springer, Cham.

[4]: Chen, X., Ábrahám, E., & Sankaranarayanan, S. (2013, July). Flow*: An analyzer for non-linear hybrid systems. In International Conference on Computer Aided Verification (pp. 258-263). Springer, Berlin, Heidelberg.

[5]: Althoff, M. (2015). An introduction to CORA 2015. In Proc. of the workshop on applied verification for continuous and hybrid systems (pp. 120-151).

[6]: Althoff, M., & Grebenyuk, D. (2016). Implementation of interval arithmetic in {CORA} 2016. In Proc. of the 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems (pp. 91-105).

[7]: Althoff, M., Grebenyuk, D., & Kochdumper, N. (2018). Implementation of Taylor models in CORA 2018. In Proc. of the 5th International Workshop on Applied Verification for Continuous and Hybrid Systems.

[8]: Bogomolov, S., Forets, M., Frehse, G., Potomkin, K., & Schilling, C. (2019, April). JuliaReach: a toolbox for set-based reachability. In Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control (pp. 39-44).

[9]: Rump, S. M. (1999). Fast and parallel interval arithmetic. BIT Numerical Mathematics, 39(3), 534-554.