Copertina

Synthesis of Computable Regular Functions of Infinite Words

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Dave, V., Filiot, E., Krishna, S., Lhote, N.
Natura:	Preprint
Pubblicazione:	2019
Soggetti:	Formal Languages and Automata Theory Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Synthesizing Computable Functions from Rational Specifications over Infinite Words
di: Filiot, Emmanuel, et al.
Pubblicazione: (2021)

Expregular functions
di: Colcombet, Thomas, et al.
Pubblicazione: (2026)

Parikh Automata on Finite and Infinite Words
di: Grobler, Mario, et al.
Pubblicazione: (2023)

The structure of polynomial growth for tree automata/transducers and MSO set queries
di: Gallot, Paul, et al.
Pubblicazione: (2025)

Positive First-order Logic on Words and Graphs
di: Kuperberg, Denis
Pubblicazione: (2022)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
di: Barloy, Corentin, et al.
Pubblicazione: (2025)

Large Scale Geometries of Infinite Strings
di: Khoussainov, Bakhadyr, et al.
Pubblicazione: (2019)

Beyond Decisiveness of Infinite Markov Chains
di: Barbot, Benoît, et al.
Pubblicazione: (2024)

Quasi-Isometric Reductions Between Infinite Strings
di: Celine, Karen Frilya, et al.
Pubblicazione: (2024)

HornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses(Technical Report)
di: Jiang, Hongjian, et al.
Pubblicazione: (2025)

An Automaton-based Characterisation of First-Order Logic over Infinite Trees
di: Benerecetti, Massimo, et al.
Pubblicazione: (2025)

Automaton-based Characterisations of First Order Logic over Infinite Trees
di: Benerecetti, Massimo, et al.
Pubblicazione: (2026)

Complete Compositional Syntax for Finite Transducers on Finite and Bi-Infinite Words
di: Carette, Titouan, et al.
Pubblicazione: (2025)

Fractals from Regular Behaviours
di: Schmid, Todd, et al.
Pubblicazione: (2023)

Set Automata and Limits of Decidability of Two-Variable Logic on Data Words
di: Guha, Shibashis, et al.
Pubblicazione: (2026)

A Completeness Theorem for Probabilistic Regular Expressions
di: Różowski, Wojciech, et al.
Pubblicazione: (2023)

Characterization and Decidability of FC-Definable Regular Languages
di: Thompson, Sam M., et al.
Pubblicazione: (2025)

Algebraic Characterizations of Classes of Regular Languages in DynFO
di: Barloy, Corentin, et al.
Pubblicazione: (2026)

On The Space Complexity of Partial Derivatives of Regular Expressions with Shuffle
di: Ancona, Davide, et al.
Pubblicazione: (2025)

An efficient quantifier elimination procedure for Presburger arithmetic
di: Haase, Christoph, et al.
Pubblicazione: (2024)

Function spaces for orbit-finite sets
di: Bojańczyk, Mikołaj, et al.
Pubblicazione: (2024)

A Complete Propositional Dynamic Logic for Regular Expressions with Lookahead
di: Nakamura, Yoshiki
Pubblicazione: (2026)

sweap: Reactive Synthesis for Infinite-State Integer Problems
di: Azzopardi, Shaun, et al.
Pubblicazione: (2026)

Kofola 1.0: A Modular Approach to ω-Regular Complementation and Inclusion Checking (Technical Report)
di: Alexaj, Ondrej, et al.
Pubblicazione: (2026)

On Dependent Variables in Reactive Synthesis
di: Akshay, S., et al.
Pubblicazione: (2024)

Fast Obligation Translation and Synthesis
di: Duret-Lutz, Alexandre, et al.
Pubblicazione: (2026)

Image Reflection on Process Graphs -- A Novel Approach for the Completeness of an Axiomatization of 1-Free Regular Expressions Modulo Bisimilarity
di: Zhang, Yuanrui, et al.
Pubblicazione: (2023)

MightyPPL: Verification of MITL with Past and Pnueli Modalities
di: Ho, Hsi-Ming, et al.
Pubblicazione: (2025)

Dynamic Programming for Symbolic Boolean Realizability and Synthesis
di: Lin, Yi, et al.
Pubblicazione: (2024)

Tracy, Traces, and Transducers: Computable Counterexamples and Explanations for HyperLTL Model-Checking
di: Winter, Sarah, et al.
Pubblicazione: (2024)

Word equations, constraints, and formal languages
di: Ciobanu, Laura
Pubblicazione: (2024)

A Trichotomy for Regular Trail Queries
di: Martens, Wim, et al.
Pubblicazione: (2019)

Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries
di: Figueira, Diego, et al.
Pubblicazione: (2022)

Automating the Analysis of Quantitative Automata with QuAK
di: Chalupa, Marek, et al.
Pubblicazione: (2025)

Extending QuAK with Nested Quantitative Automata
di: Henzinger, Thomas A., et al.
Pubblicazione: (2026)

The Decision Problem for Regular First-Order Theories
di: Mathur, Umang, et al.
Pubblicazione: (2024)

A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
di: Rooduijn, Jan, et al.
Pubblicazione: (2024)

A proof theory of right-linear (omega-)grammars via cyclic proofs
di: Das, Anupam, et al.
Pubblicazione: (2024)

An algebraic theory of ω-regular languages, via μν-expressions
di: Das, Anupam, et al.
Pubblicazione: (2025)

Cyclic system for an algebraic theory of alternating parity automata
di: Das, Anupam, et al.
Pubblicazione: (2025)