1. An introduction to CORA 2015. In Proc. of the 1st and 2nd Workshop on Applied Verification for Continuous and Hybrid Systems, 120 151;Althoff,2015
2. Monotone control systems;Angeli;IEEE Transactions on Automatic Control,2003
3. Bogomolov, S., Forets, M, Frehse, G, Potomkin, K., and Schilling, C. (2019). JuliaReach: a toolbox for set-based reachability. In Proc. of the 22nd International Conference on Hybrid Systems: Computation and Control, 39 44.
4. Bradbury, J, Frostig, R, Hawkins, P, Johnson, M.J, Leary, C, Maclaurin, D, Necula, G, Paszke, A, VanderPlas, J, Wanderman-Milne, S, and Zhang, Q. (2018). JAX: composable transformations of Python+NumPy programs. URL http://github.com/google/jax.
5. Coogan, S. and Arcak, M. (2015). Efficient finite abstraction of mixed monotone systems. In Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 58 67.