Using non-convex approximations for efficient analysis of timed automata

Frédéric Herbreteau, Dileep Kini, B. Srivathsan, Igor Walukiewicz. Using non-convex approximations for efficient analysis of timed automata. In Supratik Chakraborty, Amit Kumar, editors, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2011, December 12-14, 2011, Mumbai, India. Volume 13 of LIPIcs, pages 78-89, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2011. [doi]

Abstract

Abstract is missing.