Model Checking Succinct and Parametric One−Counter Automata

Model Checking Succinct and Parametric One−Counter Automata

Show other versions (1)

Bibliographic Details
Main Authors:	Göller, S, Haase, C, Ouaknine, J, Worrell, J
Other Authors:	Abramsky, S
Format:	Conference item
Published:	Springer 2010

Similar Items

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

Reachability in Succinct and Parametric One−Counter Automata
by: Haase, C, et al.
Published: (2009)

Reachability in Succinct and Parametric One-Counter Automata
by: Haase, C, et al.
Published: (2009)

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

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

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

On parametric timed automata and one-counter machines
by: Ouaknine, J, et al.
Published: (2016)

On the complexity of model checking counter automata
by: Haase, C
Published: (2012)

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

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

Extensions of Presburger arithmetic and model checking one-counter automata
by: Lechner, A
Published: (2016)

Universality Analysis for One-Clock Timed Automata
by: Abdulla, P, et al.
Published: (2008)

Undecidability of Universality for Timed Automata with Minimal Resources
by: Adams, S, et al.
Published: (2007)

Undecidability of universality for timed automata with minimal resources
by: Adams, S, et al.
Published: (2007)

Algebraic model checking for discrete linear dynamical systems
by: Luca, F, et al.
Published: (2022)

On the Magnitude of Completeness Thresholds in Bounded Model Checking
by: Bundala, D, et al.
Published: (2012)

On LTL model-checking for low-dimensional discrete linear dynamical systems
by: Karimov, T, et al.
Published: (2020)

On expressiveness and complexity in real-time model checking
by: Bouyer, P, et al.
Published: (2008)

Language equivalence for probabilistic automata
by: Kiefer, S, et al.
Published: (2011)

Algebraic invariants for linear hybrid automata
by: Majumdar, R, et al.
Published: (2020)

Linear Completeness Thresholds for Bounded Model Checking.
by: Kroening, D, et al.
Published: (2011)

On the Complexity of the Equivalence Problem for Probabilistic Automata
by: Kiefer, S, et al.
Published: (2012)

Alternating Timed Automata over Bounded Time
by: Jenkins, M, et al.
Published: (2010)

Approximating Succinct MaxSat.
by: Schallhart, C, et al.
Published: (2005)

Parametric Interrupt Timed Automata
by: Bérard, B, et al.
Published: (2013)

Alternating Timed Automata over Bounded Time
by: Jenkins, M, et al.
Published: (2010)

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

Branching-Time Model-Checking of Probabilistic Pushdown Automata.
by: Brázdil, T, et al.
Published: (2009)

Proving safety with trace automata and bounded model checking
by: Kroening, D, et al.
Published: (2015)

Succinct Computational Secret Sharing
by: Applebaum, Benny, et al.
Published: (2023)

Succinct non-subsequence arguments
by: Ling, San, et al.
Published: (2024)

Succinct non-Interactive arguments
by: Chiesa, Alessandro
Published: (2015)

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

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

A polynomial-time algorithm for reachability in branching VASS in dimension one
by: Göller, S, et al.
Published: (2016)

On reachability for hybrid automata over bounded time
by: Brihaye, T, et al.
Published: (2011)

Parallel assignments in software model checking
by: Ouaknine, J
Published: (2006)

Automata‚ Model Checking and Synthesis for Linear Time Temporal Logics
by: Hague, M
Published: (2006)

Succinct Representation of Codes with Applications to Testing
by: Sudan, Madhu, et al.
Published: (2010)

On deploying succinct zero-knowledge proofs
by: Virza, Madars
Published: (2018)