Copertina

Reachability in 3-VASS is Elementary

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Czerwiński, Wojciech, Jecker, Ismaël, Lasota, Sławomir, Orlikowski, Łukasz
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Formal Languages and Automata Theory Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Language Equivalence is Undecidable in VASS with Restricted Nondeterminism
di: Czerwiński, Wojciech, et al.
Pubblicazione: (2025)

Reachability in symmetric VASS
di: Kamiński, Łukasz, et al.
Pubblicazione: (2025)

Reachability and Related Problems in Vector Addition Systems with Nested Zero Tests
di: Guttenberg, Roland, et al.
Pubblicazione: (2025)

The Tractability Border of Reachability in Simple Vector Addition Systems with States
di: Chistikov, Dmitry, et al.
Pubblicazione: (2024)

Reachability in VASS Extended with Integer Counters
di: Bizière, Clotilde, et al.
Pubblicazione: (2026)

Bi-reachability in Petri nets with data
di: Kamiński, Łukasz, et al.
Pubblicazione: (2024)

Improved Algorithm for Reachability in $d$-VASS
di: Fu, Yuxi, et al.
Pubblicazione: (2024)

On the Reachability Problem for Two-Dimensional Branching VASS
di: Bizière, Clotilde, et al.
Pubblicazione: (2025)

Languages of Boundedly-Ambiguous Vector Addition Systems with States
di: Czerwiński, Wojciech, et al.
Pubblicazione: (2025)

Reachability in Geometrically $d$-Dimensional VASS
di: Fu, Yuxi, et al.
Pubblicazione: (2025)

Determinisation and Unambiguisation of Polynomially-Ambiguous Rational Weighted Automata
di: Jecker, Ismaël, et al.
Pubblicazione: (2023)

Language Inclusion for Boundedly-Ambiguous Vector Addition Systems is Decidable
di: Czerwiński, Wojciech, et al.
Pubblicazione: (2022)

A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct
di: Guha, Shibashis, et al.
Pubblicazione: (2021)

Exploring VASS Parameterised by Geometric Dimension
di: Czerwiński, Wojciech, et al.
Pubblicazione: (2026)

Solvability of orbit-finite systems of linear equations
di: Ghosh, Arka, et al.
Pubblicazione: (2022)

Continuous Pushdown VASS in One Dimension are Easy
di: Perez, Guillermo A., et al.
Pubblicazione: (2024)

Algebraic Closure of Matrix Sets Recognized by 1-VASS
di: Manssour, Rida Ait El, et al.
Pubblicazione: (2025)

Improving Reachability in Vector Addition Systems through Pumpability
di: Chen, Weijun, et al.
Pubblicazione: (2026)

Reachability in Vector Addition System with States Parameterized by Geometric Dimension
di: Zheng, Yangluo
Pubblicazione: (2024)

An Elementary Proof of the FMP for Kleene Algebra
di: Kappé, Tobias
Pubblicazione: (2022)

A Completeness Theorem for Probabilistic Regular Expressions
di: Różowski, Wojciech, et al.
Pubblicazione: (2023)

Reachability in One-Dimensional Pushdown Vector Addition Systems is Decidable
di: Bizière, Clotilde, et al.
Pubblicazione: (2024)

Uncertainty Removal in Verification of Nonlinear Systems against Signal Temporal Logic via Incremental Reachability Analysis
di: Besset, Antoine, et al.
Pubblicazione: (2025)

On the Separability Problem of VASS Reachability Languages
di: Keskin, Eren, et al.
Pubblicazione: (2024)

Separability and Non-Determinizability of WSTS
di: Czerwiński, Wojciech, et al.
Pubblicazione: (2023)

Equivariant ideals of polynomials
di: Ghosh, Arka, et al.
Pubblicazione: (2024)

Weighted GKAT: Completeness and Complexity
di: Van Koevering, Spencer, et al.
Pubblicazione: (2025)

PVASS Reachability is Decidable
di: Guttenberg, Roland, et al.
Pubblicazione: (2025)

A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes
di: Różowski, Wojciech, et al.
Pubblicazione: (2026)

Extended CTG Generalization and Dynamic Adjustment of Generalization Strategies in IC3
di: Su, Yuheng, et al.
Pubblicazione: (2025)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
di: Barloy, Corentin, et al.
Pubblicazione: (2025)

An algebraic theory of ω-regular languages, via μν-expressions
di: Das, Anupam, et al.
Pubblicazione: (2025)

Cyclic system for an algebraic theory of alternating parity automata
di: Das, Anupam, et al.
Pubblicazione: (2025)

A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
di: Rooduijn, Jan, et al.
Pubblicazione: (2024)

A proof theory of right-linear (omega-)grammars via cyclic proofs
di: Das, Anupam, et al.
Pubblicazione: (2024)

Positive First-order Logic on Words and Graphs
di: Kuperberg, Denis
Pubblicazione: (2022)

Function spaces for orbit-finite sets
di: Bojańczyk, Mikołaj, et al.
Pubblicazione: (2024)

An efficient quantifier elimination procedure for Presburger arithmetic
di: Haase, Christoph, et al.
Pubblicazione: (2024)

The Queue Automaton Revisited
di: Baeten, Jos C. M., et al.
Pubblicazione: (2025)

Simplifying LTL Model Checking Given Prior Knowledge
di: Duret-Lutz, Alexandre, et al.
Pubblicazione: (2025)