1. Adimoolam, A., Dang, T.: Using complex zonotopes for stability verification. In: American Control Conference. (2016).
https://sites.google.com/site/cztopepubs/
2. Adje, A., Gaubert, S., Goubault, E.: Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis. ESOP 6012, 23–42 (2010)
3. Adjé, A., Garoche, P.-L., Werey, A.: Quadratic zonotopes - an extension of zonotopes to quadratic arithmetics. APLAS 2015, 127–145 (2015)
4. Allamigeon, X., Gaubert, S., Goubault, E.: Inferring min and max invariants using max-plus polyhedra. In: SAS. LNCS, vol. 5079, pp. 189–204. Springer, Berlin (2008)
5. Allamigeon, X., Gaubert, S., Goubault, E., Putot, S., Stott, N.: A scalable algebraic method to infer quadratic invariants of switched systems. In: Embedded Software, pp. 75–84. IEEE Press (2015)