Gerardo Schneider. Reachability analysis of generalized polygonal hybrid systems. In Roger L. Wainwright, Hisham Haddad, editors, Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008. pages 327-332, ACM, 2008. [doi]
Abstract is missing.