The Power of Reachability Testing for Timed Automata
AbstractIn this paper we provide a complete characterization of the class of
properties of (networks of) timed automata for which model checking can be reduced to reachability checking in the context of testing automata.
How to Cite
Aceto, L., Bouyer, P., Burgueno, A., & Larsen, K. (1998). The Power of Reachability Testing for Timed Automata. BRICS Report Series, 5(48). https://doi.org/10.7146/brics.v5i48.19493
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.