On the Relationship between Reachability Problems in Timed and Counter Automata

On the Relationship between Reachability Problems in Timed and Counter Automata

Hiển thị phiên bản (1) khác

Chi tiết về thư mục
Những tác giả chính:	Haase, C, Ouaknine, J, Worrell, J
Định dạng:	Journal article
Được phát hành:	2012

Những quyển sách tương tự

On the relationship between reachability problems in timed and counter automata
Bằng: Haase, C, et al.
Được phát hành: (2012)

Reachability in Succinct and Parametric One−Counter Automata
Bằng: Haase, C, et al.
Được phát hành: (2009)

Reachability in Succinct and Parametric One-Counter Automata
Bằng: Haase, C, et al.
Được phát hành: (2009)

On reachability for hybrid automata over bounded time
Bằng: Brihaye, T, et al.
Được phát hành: (2011)

Branching−Time Model Checking of Parametric One−Counter Automata
Bằng: Göller, S, et al.
Được phát hành: (2012)

Branching-time model checking of parametric one-counter automata
Bằng: Göller, S, et al.
Được phát hành: (2012)

Revisiting reachability in timed automata
Bằng: Quaas, K, et al.
Được phát hành: (2017)

Model Checking Succinct and Parametric One-Counter Automata.
Bằng: Göller, S, et al.
Được phát hành: (2010)

Model Checking Succinct and Parametric One−Counter Automata
Bằng: Göller, S, et al.
Được phát hành: (2010)

On reachability problems for low-dimensional matrix semigroups
Bằng: Colcombet, T, et al.
Được phát hành: (2019)

On parametric timed automata and one-counter machines
Bằng: Ouaknine, J, et al.
Được phát hành: (2016)

Reachability−Time Games on Timed Automata
Bằng: Jurdzinski, M, et al.
Được phát hành: (2007)

Model checking flat freeze LTL on one-counter automata
Bằng: Lechner, A, et al.
Được phát hành: (2016)

On the decidability of reachability in linear time-invariant systems
Bằng: Fijalkow, N, et al.
Được phát hành: (2019)

Reachability and liveness in parametric timed automata
Bằng: Étienne André, et al.
Được phát hành: (2022-02-01)

The pseudo-reachability problem for diagonalisable linear dynamical systems
Bằng: D'Costa, J, et al.
Được phát hành: (2022)

On recurrent reachability for continuous linear dynamical systems
Bằng: Ouaknine, J, et al.
Được phát hành: (2016)

On recurrent reachability for continuous linear dynamical systems
Bằng: Chonev, V, et al.
Được phát hành: (2016)

Reachability Problem for Weak Multi-Pushdown Automata
Bằng: Wojciech Czerwiński, et al.
Được phát hành: (2013-09-01)

Model Checking Flat Freeze LTL on One-Counter Automata
Bằng: Antonia Lechner, et al.
Được phát hành: (2018-12-01)

Undecidability of Universality for Timed Automata with Minimal Resources
Bằng: Adams, S, et al.
Được phát hành: (2007)

Undecidability of universality for timed automata with minimal resources
Bằng: Adams, S, et al.
Được phát hành: (2007)

Alternating Timed Automata over Bounded Time
Bằng: Jenkins, M, et al.
Được phát hành: (2010)

On the Complexity of the Equivalence Problem for Probabilistic Automata
Bằng: Kiefer, S, et al.
Được phát hành: (2012)

Reachability in pushdown register automata
Bằng: Murawski, A, et al.
Được phát hành: (2017)

Alternating Timed Automata over Bounded Time
Bằng: Jenkins, M, et al.
Được phát hành: (2010)

On the complexity of model checking counter automata
Bằng: Haase, C
Được phát hành: (2012)

COMPLETELY REACHABLE ALMOST GROUP AUTOMATA
Bằng: David Fernando Casas Torres
Được phát hành: (2024-12-01)

Universality Analysis for One-Clock Timed Automata
Bằng: Abdulla, P, et al.
Được phát hành: (2008)

Decidability and complexity results for timed automata via channel machines
Bằng: Abdulla, P, et al.
Được phát hành: (2005)

Zone-based universality analysis for single-clock timed automata
Bằng: Abdulla, P, et al.
Được phát hành: (2007)

On a reachability set of automaton counter machines
Bằng: E. V. Kuzmin, et al.
Được phát hành: (2010-03-01)

Language equivalence for probabilistic automata
Bằng: Kiefer, S, et al.
Được phát hành: (2011)

Algebraic invariants for linear hybrid automata
Bằng: Majumdar, R, et al.
Được phát hành: (2020)

Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata
Bằng: Jovanovic, A, et al.
Được phát hành: (2017)

On a reachability set of automaton 3-counter machines
Bằng: E. V. Kuzmin, et al.
Được phát hành: (2009-09-01)

ON THE COMPLEXITY OF EQUIVALENCE AND MINIMISATION FOR Q-WEIGHTED AUTOMATA
Bằng: Kiefer, S, et al.
Được phát hành: (2013)

Revisiting the Equivalence Problem for Finite Multitape Automata
Bằng: Worrell, J
Được phát hành: (2013)

Translating timed automata to tock-CSP
Bằng: Khattri, M, et al.
Được phát hành: (2011)

Translating Timed Automata to Tock−CSP
Bằng: Khattri, M, et al.
Được phát hành: (2011)