Buchumschlag

A Theory of Hanoi Omega-Automata and Games

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Filiot, Emmanuel, Joseph, Allen, Pérez, Guillermo A., Sunny, Saina
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic in Computer Science Formal Languages and Automata Theory F.4.1; F.2.0
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings
von: Grabolle, Gustav
Veröffentlicht: (2022)

Model-Checking PCTL Properties of Stateless Probabilistic Pushdown Systems
von: Lin, Deren, et al.
Veröffentlicht: (2014)

Inquisitive Team Semantics of LTL
von: Bozzelli, Laura, et al.
Veröffentlicht: (2025)

Edit Distance of Finite-Valued Transducers
von: Mathew, Prince, et al.
Veröffentlicht: (2026)

Edit Distance of Finite State Transducers
von: Aiswarya, C., et al.
Veröffentlicht: (2024)

Have a thing? Reasoning around recursion with dynamic typing in grounded arithmetic
von: Bobrow, Elliot, et al.
Veröffentlicht: (2025)

Orbit-finite linear programming
von: Ghosh, Arka, et al.
Veröffentlicht: (2023)

Characterizing NC1 with Typed Monoids
von: Dawar, Anuj, et al.
Veröffentlicht: (2025)

Satisfiability of Context-free String Constraints with Subword-ordering and Transducers
von: Aiswarya, C, et al.
Veröffentlicht: (2024)

Equivariant ideals of polynomials
von: Ghosh, Arka, et al.
Veröffentlicht: (2024)

How Concise are Chains of co-Büchi Automata?
von: Ehlers, Rüdiger
Veröffentlicht: (2025)

Finitely Presentable Higher-Dimensional Automata and the Irrationality of Process Replication
von: Basold, Henning, et al.
Veröffentlicht: (2023)

Learning Deterministic One-Counter Automata in Polynomial Time
von: Mathew, Prince, et al.
Veröffentlicht: (2025)

From Compactifying Lambda-Letrec Terms to Recognizing Regular-Expression Processes
von: Grabmayer, Clemens
Veröffentlicht: (2024)

Openness And Partial Adjacency In One Variable TPTL
von: Krishna, Shankara Narayanan, et al.
Veröffentlicht: (2024)

Hypernode Automata
von: Bartocci, Ezio, et al.
Veröffentlicht: (2023)

Lexicographic transductions of finite words
von: Filiot, Emmanuel, et al.
Veröffentlicht: (2025)

AI-Oracle Machines for Intelligent Computing
von: Wang, Jie
Veröffentlicht: (2024)

Introducing Divergence for Infinite Probabilistic Models
von: Finkel, Alain, et al.
Veröffentlicht: (2023)

Rabin Games and Colourful Universal Trees
von: Majumdar, Rupak, et al.
Veröffentlicht: (2024)

A Decision Procedure for Probabilistic Kleene Algebra with Angelic Nondeterminism
von: Ong, Shawn, et al.
Veröffentlicht: (2025)

Stratifiable formulae are not context-free
von: Ryan-Smith, Calliope
Veröffentlicht: (2023)

INTERLEAVE: A Faster Symbolic Algorithm for Maximal End Component Decomposition
von: Bansal, Suguman, et al.
Veröffentlicht: (2025)

Automata with Timers
von: Bruyère, Véronique, et al.
Veröffentlicht: (2023)

Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems (extended version)
von: Geatti, Luca, et al.
Veröffentlicht: (2024)

A Logic For Fresh Labelled Transition Systems
von: Bandukara, Mohamed H, et al.
Veröffentlicht: (2025)

Learning Realtime One-Counter Automata
von: Bruyère, Véronique, et al.
Veröffentlicht: (2021)

Scalable Learning of One-Counter Automata via State-Merging Algorithms
von: Guha, Shibashis, et al.
Veröffentlicht: (2025)

Synthesizing Computable Functions from Rational Specifications over Infinite Words
von: Filiot, Emmanuel, et al.
Veröffentlicht: (2021)

On Repetitive Finite Automata with Translucent Words
von: Mráz, František, et al.
Veröffentlicht: (2025)

The complexity of downward closures of indexed languages
von: Mandel, Richard, et al.
Veröffentlicht: (2026)

On the Boolean Closure of Deterministic Top-Down Tree Automata
von: Löding, Christof, et al.
Veröffentlicht: (2024)

Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata
von: Bojańczyk, Mikołaj, et al.
Veröffentlicht: (2021)

Omega-Regular Robustness
von: Fisman, Dana, et al.
Veröffentlicht: (2025)

On Minimization and Learning of Deterministic $ω$-Automata in the Presence of Don't Care Words
von: Löding, Christof, et al.
Veröffentlicht: (2022)

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

Reachability and Related Problems in Vector Addition Systems with Nested Zero Tests
von: Guttenberg, Roland, et al.
Veröffentlicht: (2025)

On the Equivalence Checking Problem for Deterministic Top-Down Tree Automata
von: Deng, Zhibo, et al.
Veröffentlicht: (2025)

The Complexity of Simplifying $ω$-Automata through the Alternating Cycle Decomposition
von: Casares, Antonio, et al.
Veröffentlicht: (2024)

Approximate Problems for Finite Transducers
von: Filiot, Emmanuel, et al.
Veröffentlicht: (2025)