Decidable Approximations on Generalized and Parameterized Discrete Timed Automata.

Zhe Dang, Oscar H. Ibarra, Richard A. Kemmerer

Browse the full COCOON paper archive.