Copertina

Non-deterministic asynchronous automata games and their undecidability

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Adsul, Bharat, Jain, Nehul
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Formal Languages and Automata Theory
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Saturating automata for game semantics
di: Dixon, Alex, et al.
Pubblicazione: (2023)

Polyregular equivalence is undecidable in higher-order types
di: Bojańczyk, Mikołaj, et al.
Pubblicazione: (2026)

Database-assisted automata learning
di: Walinga, Hielke, et al.
Pubblicazione: (2024)

History-deterministic Parikh Automata
di: Erlich, Enzo, et al.
Pubblicazione: (2022)

Deterministic Parikh automata on infinite words
di: Grobler, Mario, et al.
Pubblicazione: (2024)

Conway's cosmological theorem and automata theory
di: Lairez, Pierre, et al.
Pubblicazione: (2024)

Cerny type automata and rank conjecture
di: Rystsov, Igor
Pubblicazione: (2025)

The complexity of separability for semilinear sets and Parikh automata
di: Collins, Elias Rojas, et al.
Pubblicazione: (2024)

Diagnosability of labeled $\mathfrak{D_p}$ automata
di: Zhang, Kuize, et al.
Pubblicazione: (2021)

The complexity of reachability problems in strongly connected finite automata
di: Kiefer, Stefan, et al.
Pubblicazione: (2025)

Characterizing normality via automata and random matrix products
di: Bienvenu, Laurent, et al.
Pubblicazione: (2026)

Nondeterminism makes unary 1-limited automata concise
di: Guillon, Bruno, et al.
Pubblicazione: (2025)

Exact descriptional complexity of determinization of input-driven pushdown automata
di: Martynova, Olga
Pubblicazione: (2024)

Two-way affine automata can verify every language
di: Chen, Zeyu, et al.
Pubblicazione: (2025)

Soft state reduction of fuzzy automata over residuated lattices
di: Nguyen, Linh Anh, et al.
Pubblicazione: (2025)

Deterministic pushdown automata can compress some normal sequences
di: Carton, Olivier, et al.
Pubblicazione: (2022)

Cluster automata
di: Kornai, András
Pubblicazione: (2025)

State estimation of timed automata under partial observation [Draft version]
di: Gao, Chao, et al.
Pubblicazione: (2024)

Execution-time opacity problems in one-clock parametric timed automata
di: André, Étienne, et al.
Pubblicazione: (2024)

Quantum finite automata and linear context-free languages: a decidable problem
di: Bertoni, A., et al.
Pubblicazione: (2013)

Time for Quiescence: Modelling quiescent behaviour in testing via time-outs in timed automata
di: Briones, Laura Brandán, et al.
Pubblicazione: (2025)

[Draft] High-order estimation-based properties and high-order observers for labeled finite-state automata
di: Zhang, Kuize, et al.
Pubblicazione: (2024)

Completely reachable automata: a quadratic decision algorithm and a quadratic upper bound on the reaching threshold
di: Ferens, Robert, et al.
Pubblicazione: (2022)

Completeness for categories of generalized automata
di: Boccali, Guido, et al.
Pubblicazione: (2023)

A study on the composition of elementary cellular automata
di: Castillo-Ramirez, Alonso, et al.
Pubblicazione: (2023)

Characterization of deterministically recognizable weighted tree languages over commutative semifields by finitely generated and cancellative scalar algebras
di: Fülöp, Zoltán, et al.
Pubblicazione: (2025)

The Agafonov and Schnorr-Stimm theorems for probabilistic automata
di: Bienvenu, Laurent, et al.
Pubblicazione: (2025)

On the transversals of Latin squares generated by nonlinear bipermutive cellular automata
di: Dennunzio, Alberto, et al.
Pubblicazione: (2026)

Idempotent cellular automata and their natural order
di: Castillo-Ramirez, Alonso, et al.
Pubblicazione: (2024)

Computing the linear hull: Deciding Deterministic? and Unambiguous? for weighted automata over fields
di: Bell, Jason P., et al.
Pubblicazione: (2022)

Equality of cycle lengths in one- and two-dimensional $σ$ automata
di: Vadali, Avi, et al.
Pubblicazione: (2025)

Entropy of pebble automata and space complexity
di: Montoya, J. Andres
Pubblicazione: (2026)

From regular expressions to deterministic finite automata: $2^{\frac{n}{2}+\sqrt{n}(\log n)^{Θ(1)}}$ states are necessary and sufficient
di: Martynova, Olga, et al.
Pubblicazione: (2025)

Cellular automata can really solve the parity problem
di: Wolnik, Barbara, et al.
Pubblicazione: (2025)

Twinning automata and regular expressions for string static analysis
di: Negrini, Luca, et al.
Pubblicazione: (2020)

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

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

Iterating Non-Aggregative Structure Compositions
di: Bozga, Marius, et al.
Pubblicazione: (2025)

Embedding arbitrary Boolean circuits into fungal automata with arbitrary update sequences
di: Goles, Eric, et al.
Pubblicazione: (2026)

Non-interference analysis of bounded labeled Petri nets
di: Ran, Ning, et al.
Pubblicazione: (2025)