Buchumschlag

$ω$-regular Expression Synthesis from Transition-Based Büchi Automata

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Pert, Charles, Alrajeh, Dalal, Russo, Alessandra
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

RNN Generalization to Omega-Regular Languages
von: Pert, Charles, et al.
Veröffentlicht: (2025)

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

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

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

Lookahead Games and Efficient Determinisation of History-Deterministic Büchi Automata
von: Acharya, Rohan, et al.
Veröffentlicht: (2024)

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

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

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

Automata for the commutative closure of regular sets
von: Becher, Verónica, et al.
Veröffentlicht: (2025)

Weighted Automata and Regular Expressions for Financial Systems
von: Droste, Manfred, et al.
Veröffentlicht: (2026)

GrappaRE -- A Tool for Efficient Graph Recognition Based on Finite Automata and Regular Expressions
von: De Rosa, Mattia, et al.
Veröffentlicht: (2025)

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

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

An Automata-Based Approach to Games with $ω$-Automatic Preferences
von: Bruyère, Véronique, et al.
Veröffentlicht: (2026)

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

From Trees to Tree-Like: Distribution and Synthesis for Asynchronous Automata
von: Lehaut, Mathieu, et al.
Veröffentlicht: (2026)

Characterizing the Polynomial-Time Minimizable $ω$-Automata
von: Radi, Bader Abu, et al.
Veröffentlicht: (2025)

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)

Synthesising Asynchronous Automata from Fair Specifications
von: Bérard, Béatrice, 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)

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

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)

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

QuAK: Quantitative Automata Kit
von: Chalupa, Marek, et al.
Veröffentlicht: (2024)

Classifying Words with 3-sort Automata
von: Jastrząb, Tomasz, et al.
Veröffentlicht: (2024)

Query Learning of Advice and Nominal Automata
von: Zhou, Kevin
Veröffentlicht: (2024)

Global One-Counter Tree Automata
von: Herrmann, Luisa, et al.
Veröffentlicht: (2024)

Non-Global Parikh Tree Automata
von: Herrmann, Luisa, et al.
Veröffentlicht: (2024)

Repetitive Finite Automata With Translucent Letters
von: Mráz, František, et al.
Veröffentlicht: (2024)

Completely Reachable Almost Group Automata
von: Torres, David Fernando Casas
Veröffentlicht: (2024)

Universality Frontier for Asynchronous Cellular Automata
von: Baburin, Ivan, et al.
Veröffentlicht: (2025)

Simulation Limitations of Affine Cellular Automata
von: Hudcová, Barbora, et al.
Veröffentlicht: (2023)