Synthesis of data word transducers
From MaRDI portal
Recommendations
Cites work
- Alternation
- Automata and Logics for Words and Trees over an Infinite Alphabet
- Automata vs. Logics on Data Words
- Finite state machines for strings over infinite alphabets
- Finite-memory automata
- Finite-memory automata with non-deterministic reassignment
- From Nondeterministic B\"uchi and Streett Automata to Deterministic Parity Automata
- Graph Games and Reactive Synthesis
- scientific article; zbMATH DE number 5869590 (Why is no real title available?)
- scientific article; zbMATH DE number 4124989 (Why is no real title available?)
- Logics for word transductions with synthesis
- LTL with the freeze quantifier and register automata
- Monadic second-order definable graph transductions: a survey
- On computability of data word functions defined by transducers
- On equivalence and uniformisation problems for finite transducers
- Regular expressions for data words
- Regular Transformations of Data Words Through Origin Information
- Relating timed and register automata
- Solving Sequential Conditions by Finite-State Strategies
- Synthesis with Identifiers
- Towards efficient parameterized synthesis
- Two-variable logic with two order relations
Cited in
(14)- Reactive synthesis from visibly register pushdown automata
- Parameterized synthesis for fragments of first-order logic over data words
- On computability of data word functions defined by transducers
- The complexity of transducer synthesis from multi-sequential specifications
- Logics for word transductions with synthesis
- Synthesis of Data Word Transducers
- Register-bounded synthesis
- Bounded synthesis of register transducers
- Temporal stream logic modulo theories
- Church synthesis on register automata over linearly ordered data domains
- Realizability problem for constraint LTL
- A generic solution to register-bounded synthesis with an application to discrete orders
- Passive learning of regular data languages in polynomial time and data
- Monitorability for the modal -calculus over systems with data: from practice to theory
This page was built for publication: Synthesis of data word transducers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5856426)
