:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Leys, Tim, Perez, Guillermo A.
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Formal Languages and Automata Theory
Accesso online:	https://arxiv.org/abs/2402.09121
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Learning Realtime One-Counter Automata
di: Bruyère, Véronique, et al.
Pubblicazione: (2021)

Global One-Counter Tree Automata
di: Herrmann, Luisa, et al.
Pubblicazione: (2024)

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

Two-Way One-Counter Nets Revisited
di: Almagor, Shaull, et al.
Pubblicazione: (2024)

Infinite-state Games with Energy Objectives Beyond Counters
di: Sağlam, Irmak, et al.
Pubblicazione: (2026)

Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction
di: Eichler, Paul, et al.
Pubblicazione: (2024)

Store Languages of Turing Machines and Counter Machines
di: Friesen, Noah, et al.
Pubblicazione: (2025)

Localising Stochasticity in Weighted Automata
di: Agarwal, Smayan, et al.
Pubblicazione: (2026)

Stochastic Languages at Sub-stochastic Cost
di: Agarwal, Smayan, et al.
Pubblicazione: (2025)

A Formal Approach for Tuning Stochastic Oscillators
di: Ballarini, Paolo, et al.
Pubblicazione: (2024)

Notes on Stack Machines and Quantum Stack Machines
di: Qiu, Daowen
Pubblicazione: (2025)

A Tree Sampler for Bounded Context-Free Languages
di: Considine, Breandan
Pubblicazione: (2024)

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

Active Inference of Extended Finite State Machine Models with Registers and Guards
di: Groz, Roland, et al.
Pubblicazione: (2026)

Bounded treewidth, multiple context-free grammars, and downward closures
di: Aiswarya, C., et al.
Pubblicazione: (2025)

A Complexity Bound for Determinisation of Min-Plus Weighted Automata
di: Almagor, Shaull, et al.
Pubblicazione: (2026)

Unconditional Time and Space Complexity Lower Bounds for Intersection Non-Emptiness
di: Wehar, Michael
Pubblicazione: (2025)

Networks of Moore Machines
di: Yodaiken, Victor
Pubblicazione: (2015)

Black-box Testing Liveness Properties of Partially Observable Stochastic Systems
di: Esparza, Javier, et al.
Pubblicazione: (2023)

Digital Circuits as Moore Machines
di: Yodaiken, Victor
Pubblicazione: (2010)

Reasoning about Rare-Event Reachability in Stochastic Vector Addition Systems via Affine Vector Spaces
di: Jeppson, Joshua, et al.
Pubblicazione: (2025)

General Decidability Results for Systems with Continuous Counters
di: Balasubramanian, A. R., et al.
Pubblicazione: (2025)

A Characterization of Turing Machines that Compute Primitive Recursive Functions
di: Schwartz, Daniel G.
Pubblicazione: (2025)

On History-Deterministic One-Counter Nets
di: Prakash, Keya, et al.
Pubblicazione: (2022)

From LTL to COCOA without Detours
di: Ehlers, Rüdiger, et al.
Pubblicazione: (2024)

Stochastic Alignments: Matching an Observed Trace to Stochastic Process Models
di: Li, Tian, et al.
Pubblicazione: (2025)

Visibly Recursive Automata
di: Dubrulle, Kévin, et al.
Pubblicazione: (2026)

Equivalence of Deterministic Weighted Real-time One-Counter Automata
di: Mathew, Prince, et al.
Pubblicazione: (2024)

Unambiguous and Co-Nondeterministic Computations of Finite Automata and Pushdown Automata Families and the Effects of Multiple Counters
di: Yamakami, Tomoyuki
Pubblicazione: (2024)

Invariants for One-Counter Automata with Disequality Tests
di: Chistikov, Dmitry, et al.
Pubblicazione: (2024)

From Trees to Tree-Like: Distribution and Synthesis for Asynchronous Automata
di: Lehaut, Mathieu, et al.
Pubblicazione: (2026)

Transducing Language Models
di: Snæbjarnarson, Vésteinn, et al.
Pubblicazione: (2026)

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

Alloy-Driven Verification of Object-Centric Event Data: From Temporal Logic to Knowledge Graphs
di: Latif, Saba, et al.
Pubblicazione: (2025)

Computing the Reachability Value of Posterior-Deterministic POMDPs
di: Fijalkow, Nathanaël, et al.
Pubblicazione: (2026)

Temporal Causal Models as a Model of Computation
di: Gladyshev, Maksim, et al.
Pubblicazione: (2026)

A Sharper Upper Bound for the Separating Words Problem
di: Dumitru, Bogdan C.
Pubblicazione: (2025)

A Lower Bound on Unambiguous Context Free Grammars via Communication Complexity
di: Mengel, Stefan, et al.
Pubblicazione: (2024)

Model Checking for Multi-Agent Systems Modeled By Epistemic Process Calculus
di: Yu, Qixian, et al.
Pubblicazione: (2025)

Polyregular Model Checking
di: Lopez, Aliaume, et al.
Pubblicazione: (2025)