Buchumschlag

Reachability in Geometrically $d$-Dimensional VASS

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Fu, Yuxi, Zheng, Yangluo, Yang, Qizhe
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Computational Complexity Formal Languages and Automata Theory Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Improved Algorithm for Reachability in $d$-VASS
von: Fu, Yuxi, et al.
Veröffentlicht: (2024)

Reachability in Vector Addition System with States Parameterized by Geometric Dimension
von: Zheng, Yangluo
Veröffentlicht: (2024)

Improving Reachability in Vector Addition Systems through Pumpability
von: Chen, Weijun, et al.
Veröffentlicht: (2026)

On the Reachability Problem for Two-Dimensional Branching VASS
von: Bizière, Clotilde, et al.
Veröffentlicht: (2025)

Reachability in 3-VASS is Elementary
von: Czerwiński, Wojciech, et al.
Veröffentlicht: (2025)

Language Equivalence is Undecidable in VASS with Restricted Nondeterminism
von: Czerwiński, Wojciech, et al.
Veröffentlicht: (2025)

Continuous Pushdown VASS in One Dimension are Easy
von: Perez, Guillermo A., et al.
Veröffentlicht: (2024)

Non-commutative linear logic fragments with sub-context-free complexity
von: Nishimiya, Yusaku, et al.
Veröffentlicht: (2025)

Nets-within-Nets through the Lens of Data Nets
von: Di Cosmo, Francesco, et al.
Veröffentlicht: (2025)

On Higher Order Busy Beaver Function
von: Cao, Zining
Veröffentlicht: (2025)

A Complexity Dichotomy for Semilinear Target Sets in Automata with One Counter
von: Shakiba, Yousef, et al.
Veröffentlicht: (2025)

The $\mathsf{AC}^0$-Complexity Of Visibly Pushdown Languages
von: Göller, Stefan, et al.
Veröffentlicht: (2023)

Stochastic Process Turing Machines
von: Wolpert, David, et al.
Veröffentlicht: (2024)

Proceedings Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification
von: Achilleos, Antonis, et al.
Veröffentlicht: (2024)

The Complexity of Nested Reset Counter Systems
von: Balasubramanian, A. R., et al.
Veröffentlicht: (2026)

Reachability in symmetric VASS
von: Kamiński, Łukasz, et al.
Veröffentlicht: (2025)

Algebraic Closure of Matrix Sets Recognized by 1-VASS
von: Manssour, Rida Ait El, et al.
Veröffentlicht: (2025)

Counting and Sampling Traces in Regular Languages
von: de Colnet, Alexis, et al.
Veröffentlicht: (2025)

Cypher is Turing-Complete: A Formal Proof via 2-Counter Machine Simulation
von: Halftermeyer, Pierre
Veröffentlicht: (2026)

The Tractability Border of Reachability in Simple Vector Addition Systems with States
von: Chistikov, Dmitry, et al.
Veröffentlicht: (2024)

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

A Framework for Universality in Physics, Computer Science, and Beyond
von: Gonda, Tomáš, et al.
Veröffentlicht: (2023)

CMSO-transducing tree-like graph decompositions
von: Campbell, Rutger, et al.
Veröffentlicht: (2024)

Weighted basic parallel processes and combinatorial enumeration
von: Clemente, Lorenzo
Veröffentlicht: (2024)

A positional $\mathbfΠ^0_3$-complete objective
von: Casares, Antonio, et al.
Veröffentlicht: (2024)

Variants of Higher-Dimensional Automata
von: Bazille, Hugo, et al.
Veröffentlicht: (2026)

Exploring VASS Parameterised by Geometric Dimension
von: Czerwiński, Wojciech, et al.
Veröffentlicht: (2026)

Logic and Languages of Higher-Dimensional Automata
von: Amrane, Amazigh, et al.
Veröffentlicht: (2024)

Bisimulations and Logics for Higher-Dimensional Automata
von: Zouari, Safa, et al.
Veröffentlicht: (2024)

Higher-Dimensional Timed Automata for Real-Time Concurrency
von: Amrane, Amazigh, et al.
Veröffentlicht: (2024)

On-the-fly Unfolding with Optimal Exploration for Linear Temporal Logic Model Checking of Concurrent Software and Systems
von: Li, Shuo, et al.
Veröffentlicht: (2023)

On the Separability Problem of VASS Reachability Languages
von: Keskin, Eren, et al.
Veröffentlicht: (2024)

Reachability in VASS Extended with Integer Counters
von: Bizière, Clotilde, et al.
Veröffentlicht: (2026)

Extended CTG Generalization and Dynamic Adjustment of Generalization Strategies in IC3
von: Su, Yuheng, et al.
Veröffentlicht: (2025)

PVASS Reachability is Decidable
von: Guttenberg, Roland, et al.
Veröffentlicht: (2025)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
von: Barloy, Corentin, et al.
Veröffentlicht: (2025)

An algebraic theory of ω-regular languages, via μν-expressions
von: Das, Anupam, et al.
Veröffentlicht: (2025)

Cyclic system for an algebraic theory of alternating parity automata
von: Das, Anupam, et al.
Veröffentlicht: (2025)

A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
von: Rooduijn, Jan, et al.
Veröffentlicht: (2024)

A proof theory of right-linear (omega-)grammars via cyclic proofs
von: Das, Anupam, et al.
Veröffentlicht: (2024)