1. Andersson, J., Houska, B., Diehl, M.: Towards a computer algebra system with automatic differentiation for use with object-oriented modelling languages. In: 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, Oslo, Norway, October 3, pp. 99–105. Linköping University Electronic Press, Linköping (2010)
2. Andersson, J., Åkesson, J., Diehl, M.: Casadi: a symbolic package for automatic differentiation and optimal control. In: Recent Advances in Algorithmic Differentiation, pp. 297–307. Springer, Berlin (2012)
3. Aubin, J.P.: Viability theory. Systems & Control: Foundations & Applications. Birkhäuser, Boston (1991)
4. Bansal, S., Chen, M., Herbert, S., Tomlin, C.J.: Hamilton-Jacobi reachability: a brief overview and recent advances (2017). Preprint. arXiv:1709.07523
5. Bao, X., Sahinidis, N.V., Tawarmalani, M.: Multiterm polyhedral relaxations for nonconvex, quadratically constrained quadratic programs. Optim. Methods Softw. 24(4–5), 485–504 (2009)