Universality Analysis for One-Clock Timed Automata

Universality Analysis for One-Clock Timed Automata

This paper is concerned with the universality problem for timed automata: given a timed automaton A, does A accept all timed words? Alur and Dill have shown that the universality problem is undecidable if A has two clocks, but they left open the status of the problem when A has a single clock. In th...

Bibliografiset tiedot
Päätekijät:	Abdulla, P, Deneux, J, Ouaknine, J, Quaas, K, Worrell, J
Aineistotyyppi:	Journal article
Kieli:	English
Julkaistu:	2008

Samankaltaisia teoksia

Zone-based universality analysis for single-clock timed automata
Tekijä: Abdulla, P, et al.
Julkaistu: (2007)

Decidability and complexity results for timed automata via channel machines
Tekijä: Abdulla, P, et al.
Julkaistu: (2005)

Undecidability of universality for timed automata with minimal resources
Tekijä: Adams, S, et al.
Julkaistu: (2007)

Undecidability of Universality for Timed Automata with Minimal Resources
Tekijä: Adams, S, et al.
Julkaistu: (2007)

MTL-Model Checking of One-Clock Parametric Timed Automata is Undecidable
Tekijä: Karin Quaas
Julkaistu: (2014-03-01)

Branching-time model checking of parametric one-counter automata
Tekijä: Göller, S, et al.
Julkaistu: (2012)

Branching−Time Model Checking of Parametric One−Counter Automata
Tekijä: Göller, S, et al.
Julkaistu: (2012)

Revisiting reachability in timed automata
Tekijä: Quaas, K, et al.
Julkaistu: (2017)

Reachability in Succinct and Parametric One−Counter Automata
Tekijä: Haase, C, et al.
Julkaistu: (2009)

Reachability in Succinct and Parametric One-Counter Automata
Tekijä: Haase, C, et al.
Julkaistu: (2009)

Model Checking Succinct and Parametric One-Counter Automata.
Tekijä: Göller, S, et al.
Julkaistu: (2010)

Model Checking Succinct and Parametric One−Counter Automata
Tekijä: Göller, S, et al.
Julkaistu: (2010)

Alternating Timed Automata over Bounded Time
Tekijä: Jenkins, M, et al.
Julkaistu: (2010)

On the relationship between reachability problems in timed and counter automata
Tekijä: Haase, C, et al.
Julkaistu: (2012)

On the Relationship between Reachability Problems in Timed and Counter Automata
Tekijä: Haase, C, et al.
Julkaistu: (2012)

Alternating Timed Automata over Bounded Time
Tekijä: Jenkins, M, et al.
Julkaistu: (2010)

On parametric timed automata and one-counter machines
Tekijä: Ouaknine, J, et al.
Julkaistu: (2016)

Model checking flat freeze LTL on one-counter automata
Tekijä: Lechner, A, et al.
Julkaistu: (2016)

Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities
Tekijä: Jeremy Sproston
Julkaistu: (2021-11-01)

On reachability for hybrid automata over bounded time
Tekijä: Brihaye, T, et al.
Julkaistu: (2011)

Model Checking One-clock Priced Timed Automata
Tekijä: Patricia Bouyer, et al.
Julkaistu: (2008-06-01)

Language equivalence for probabilistic automata
Tekijä: Kiefer, S, et al.
Julkaistu: (2011)

Model Checking Probabilistic Timed Automata with One or Two Clocks
Tekijä: Marcin Jurdzinski, et al.
Julkaistu: (2008-09-01)

Algebraic invariants for linear hybrid automata
Tekijä: Majumdar, R, et al.
Julkaistu: (2020)

Model Checking Flat Freeze LTL on One-Counter Automata
Tekijä: Antonia Lechner, et al.
Julkaistu: (2018-12-01)

On the Complexity of the Equivalence Problem for Probabilistic Automata
Tekijä: Kiefer, S, et al.
Julkaistu: (2012)

ON THE COMPLEXITY OF EQUIVALENCE AND MINIMISATION FOR Q-WEIGHTED AUTOMATA
Tekijä: Kiefer, S, et al.
Julkaistu: (2013)

Translating timed automata to tock-CSP
Tekijä: Khattri, M, et al.
Julkaistu: (2011)

Translating Timed Automata to Tock−CSP
Tekijä: Khattri, M, et al.
Julkaistu: (2011)

Avoiding Shared Clocks in Networks of Timed Automata
Tekijä: Sandie Balaguer, et al.
Julkaistu: (2013-11-01)

On the Complexity of Equivalence and Minimisation for Q-weighted Automata
Tekijä: Stefan Kiefer, et al.
Julkaistu: (2013-03-01)

Simulations for Event-Clock Automata
Tekijä: S Akshay, et al.
Julkaistu: (2024-07-01)

Costs and rewards in priced timed automata
Tekijä: Fränzle, M, et al.
Julkaistu: (2020)

Costs and rewards in priced timed automata
Tekijä: Fränzle, M, et al.
Julkaistu: (2018)

Verification for Timed Automata extended with Unbounded Discrete Data Structures
Tekijä: Karin Quaas
Julkaistu: (2015-09-01)

Revisiting the Equivalence Problem for Finite Multitape Automata
Tekijä: Worrell, J
Julkaistu: (2013)

Towards a Theory of Time-Bounded Verification.
Tekijä: Ouaknine, J, et al.
Julkaistu: (2010)

Clocks, Automata and the Mechanization of Nature (1300–1600)
Tekijä: Sylvain Roudaut
Julkaistu: (2022-12-01)

ASYNCHRONOUS VS VARIABLE CLOCK SYNCHRONOUS AUTOMATA
Tekijä: Nicolae GALUPA
Julkaistu: (2014-05-01)

Minimisation of multiplicity tree automata
Tekijä: Worrell, J, et al.
Julkaistu: (2017)