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...

書目詳細資料
Main Authors:	Abdulla, P, Deneux, J, Ouaknine, J, Quaas, K, Worrell, J
格式:	Journal article
語言:	English
出版:	2008

相似書籍

Zone-based universality analysis for single-clock timed automata
由: Abdulla, P, et al.
出版: (2007)

Decidability and complexity results for timed automata via channel machines
由: Abdulla, P, et al.
出版: (2005)

Undecidability of universality for timed automata with minimal resources
由: Adams, S, et al.
出版: (2007)

Undecidability of Universality for Timed Automata with Minimal Resources
由: Adams, S, et al.
出版: (2007)

MTL-Model Checking of One-Clock Parametric Timed Automata is Undecidable
由: Karin Quaas
出版: (2014-03-01)

Branching-time model checking of parametric one-counter automata
由: Göller, S, et al.
出版: (2012)

Branching−Time Model Checking of Parametric One−Counter Automata
由: Göller, S, et al.
出版: (2012)

Revisiting reachability in timed automata
由: Quaas, K, et al.
出版: (2017)

Reachability in Succinct and Parametric One−Counter Automata
由: Haase, C, et al.
出版: (2009)

Reachability in Succinct and Parametric One-Counter Automata
由: Haase, C, et al.
出版: (2009)

Model Checking Succinct and Parametric One-Counter Automata.
由: Göller, S, et al.
出版: (2010)

Model Checking Succinct and Parametric One−Counter Automata
由: Göller, S, et al.
出版: (2010)

Alternating Timed Automata over Bounded Time
由: Jenkins, M, et al.
出版: (2010)

On the relationship between reachability problems in timed and counter automata
由: Haase, C, et al.
出版: (2012)

On the Relationship between Reachability Problems in Timed and Counter Automata
由: Haase, C, et al.
出版: (2012)

Alternating Timed Automata over Bounded Time
由: Jenkins, M, et al.
出版: (2010)

On parametric timed automata and one-counter machines
由: Ouaknine, J, et al.
出版: (2016)

Model checking flat freeze LTL on one-counter automata
由: Lechner, A, et al.
出版: (2016)

Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities
由: Jeremy Sproston
出版: (2021-11-01)

On reachability for hybrid automata over bounded time
由: Brihaye, T, et al.
出版: (2011)

Model Checking One-clock Priced Timed Automata
由: Patricia Bouyer, et al.
出版: (2008-06-01)

Language equivalence for probabilistic automata
由: Kiefer, S, et al.
出版: (2011)

Model Checking Probabilistic Timed Automata with One or Two Clocks
由: Marcin Jurdzinski, et al.
出版: (2008-09-01)

Algebraic invariants for linear hybrid automata
由: Majumdar, R, et al.
出版: (2020)

Model Checking Flat Freeze LTL on One-Counter Automata
由: Antonia Lechner, et al.
出版: (2018-12-01)

On the Complexity of the Equivalence Problem for Probabilistic Automata
由: Kiefer, S, et al.
出版: (2012)

ON THE COMPLEXITY OF EQUIVALENCE AND MINIMISATION FOR Q-WEIGHTED AUTOMATA
由: Kiefer, S, et al.
出版: (2013)

Translating timed automata to tock-CSP
由: Khattri, M, et al.
出版: (2011)

Translating Timed Automata to Tock−CSP
由: Khattri, M, et al.
出版: (2011)

Avoiding Shared Clocks in Networks of Timed Automata
由: Sandie Balaguer, et al.
出版: (2013-11-01)

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

Simulations for Event-Clock Automata
由: S Akshay, et al.
出版: (2024-07-01)

Costs and rewards in priced timed automata
由: Fränzle, M, et al.
出版: (2020)

Costs and rewards in priced timed automata
由: Fränzle, M, et al.
出版: (2018)

Verification for Timed Automata extended with Unbounded Discrete Data Structures
由: Karin Quaas
出版: (2015-09-01)

Revisiting the Equivalence Problem for Finite Multitape Automata
由: Worrell, J
出版: (2013)

Towards a Theory of Time-Bounded Verification.
由: Ouaknine, J, et al.
出版: (2010)

Clocks, Automata and the Mechanization of Nature (1300–1600)
由: Sylvain Roudaut
出版: (2022-12-01)

ASYNCHRONOUS VS VARIABLE CLOCK SYNCHRONOUS AUTOMATA
由: Nicolae GALUPA
出版: (2014-05-01)

Minimisation of multiplicity tree automata
由: Worrell, J, et al.
出版: (2017)