Buchumschlag

Lookahead Games and Efficient Determinisation of History-Deterministic Büchi Automata

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Acharya, Rohan, Jurdziński, Marcin, Prakash, Keya
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Formal Languages and Automata Theory
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

History-Deterministic Büchi Automata are Succinct
von: Casares, Antonio, et al.
Veröffentlicht: (2026)

On the Minimisation of Deterministic and History-Deterministic Generalised (co)Büchi Automata
von: Casares, Antonio, et al.
Veröffentlicht: (2024)

The 2-Token Theorem: Recognising History-Deterministic Parity Automata Efficiently
von: Lehtinen, Karoliina, et al.
Veröffentlicht: (2025)

Checking History-Determinism is NP-hard for Parity Automata
von: Prakash, Keya
Veröffentlicht: (2023)

Efficient Learning of Weak Deterministic Büchi Automata
von: Alluwayma, Mona, et al.
Veröffentlicht: (2025)

A Complexity Bound for Determinisation of Min-Plus Weighted Automata
von: Almagor, Shaull, et al.
Veröffentlicht: (2026)

Token Games and History-Deterministic Quantitative-Automata
von: Boker, Udi, et al.
Veröffentlicht: (2021)

On History-Deterministic One-Counter Nets
von: Prakash, Keya, et al.
Veröffentlicht: (2022)

Minimal History-Deterministic Co-Buchi Automata: Congruences and Passive Learning
von: Löding, Christof, et al.
Veröffentlicht: (2025)

Büchi-Elgot-Trakhtenbrot Theorem for Higher-Dimensional Automata
von: Amrane, Amazigh, et al.
Veröffentlicht: (2025)

$ω$-regular Expression Synthesis from Transition-Based Büchi Automata
von: Pert, Charles, et al.
Veröffentlicht: (2024)

Determinisation and Unambiguisation of Polynomially-Ambiguous Rational Weighted Automata
von: Jecker, Ismaël, et al.
Veröffentlicht: (2023)

Hyper-Minimization for Deterministic Register Automata
von: Li, Yong, et al.
Veröffentlicht: (2026)

Learning Deterministic Multi-Clock Timed Automata
von: Teng, Yu, et al.
Veröffentlicht: (2024)

Half-Positional Objectives Recognized by Deterministic Büchi Automata
von: Bouyer, Patricia, et al.
Veröffentlicht: (2022)

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

History-deterministic Parikh Automata
von: Erlich, Enzo, et al.
Veröffentlicht: (2022)

Quantum Büchi Automata
von: Wang, Qisheng, et al.
Veröffentlicht: (2018)

A Linear-time Simulation of Deterministic $d$-Limited Automata
von: Rubtsov, Alexander
Veröffentlicht: (2023)

Constructing Deterministic Parity Automata from Positive and Negative Examples
von: Bohn, León, et al.
Veröffentlicht: (2023)

Optimal Approximate Minimization of One-Letter Weighted Finite Automata
von: Lacroce, Clara, et al.
Veröffentlicht: (2023)

A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Buchi Register Automata
von: Takata, Yoshiaki, et al.
Veröffentlicht: (2024)

Finite Automata for Efficient Graph Recognition
von: Drewes, Frank, et al.
Veröffentlicht: (2024)

Equivalence of Deterministic Weighted Real-time One-Counter Automata
von: Mathew, Prince, et al.
Veröffentlicht: (2024)

Mathematical Approach in Automata and Automata Association
von: Maciel, Sergio Henrique
Veröffentlicht: (2020)

Efficient Analysis of Unambiguous Automata Using Matrix Semigroup Techniques
von: Kiefer, Stefan, et al.
Veröffentlicht: (2019)

Congruence-based Learning of Probabilistic Deterministic Finite Automata
von: Carrasco, Matías, et al.
Veröffentlicht: (2024)

Inference of Deterministic Finite Automata via Q-Learning
von: Hosseinkhani, Elaheh, et al.
Veröffentlicht: (2025)

Deterministic Suffix-reading Automata
von: Keerthan, R, et al.
Veröffentlicht: (2024)

On Shuffling and Splitting Automata
von: Cunningham, Ignacio Mollo
Veröffentlicht: (2024)

Explorable Parity Automata
von: Hazard, Emile, et al.
Veröffentlicht: (2024)

Automata on Graph Alphabets
von: Bazille, Hugo, et al.
Veröffentlicht: (2026)

Quantitative Language Automata
von: Henzinger, Thomas A., et al.
Veröffentlicht: (2025)

Asynchronism in Cellular Automata
von: Gautam, Virendra Kumar
Veröffentlicht: (2025)

Pumping-Like Results for Copyless Cost Register Automata and Polynomially Ambiguous Weighted Automata
von: Mazowiecki, Filip, et al.
Veröffentlicht: (2025)

Determinism in Multi-Soliton Automata
von: Bordihn, Henning, et al.
Veröffentlicht: (2024)

Localising Stochasticity in Weighted Automata
von: Agarwal, Smayan, et al.
Veröffentlicht: (2026)

Saturation Problems for Families of Automata
von: Bohn, León, et al.
Veröffentlicht: (2025)

Nominal Automata with Name Deallocation
von: Prucker, Simon, et al.
Veröffentlicht: (2026)

Simulations for Event-Clock Automata
von: Akshay, S, et al.
Veröffentlicht: (2022)