Matches in SemOpenAlex for { <https://semopenalex.org/work/W3137366105> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W3137366105 startingPage "16" @default.
- W3137366105 abstract "Register automata are finite automata equipped with a finite set of registers in which they can store data, i.e. elements from an unbounded or infinite alphabet. They provide a simple formalism to specify the behaviour of reactive systems operating over data ω-words. We study the synthesis problem for specifications given as register automata over a linearly ordered data domain (e.g. (ℕ, ≤) or (ℚ, ≤)), which allow for comparison of data with regards to the linear order. To that end, we extend the classical Church synthesis game to infinite alphabets: two players, Adam and Eve, alternately play some data, and Eve wins whenever their interaction complies with the specification, which is a language of ω-words over ordered data. Such games are however undecidable, even when the specification is recognised by a deterministic register automaton. This is in contrast with the equality case, where the problem is only undecidable for nondeterministic and universal specifications.Thus, we study one-sided Church games, where Eve instead operates over a finite alphabet, while Adam still manipulates data. We show they are determined, and deciding the existence of a winning strategy is in ExpTime, both for ℚ and ℕ. This follows from a study of constraint sequences, which abstract the behaviour of register automata, and allow us to reduce Church games to ω-regular games. Lastly, we apply these results to the transducer synthesis problem for input-driven register automata, where each output data is restricted to be the content of some register, and show that if there exists an implementation, then there exists one which is a register transducer." @default.
- W3137366105 created "2021-03-29" @default.
- W3137366105 creator A5020202308 @default.
- W3137366105 creator A5021888545 @default.
- W3137366105 creator A5049821685 @default.
- W3137366105 date "2021-01-01" @default.
- W3137366105 modified "2023-10-16" @default.
- W3137366105 title "Church Synthesis on Register Automata over Linearly Ordered Data Domains" @default.
- W3137366105 doi "https://doi.org/10.4230/lipics.stacs.2021.28" @default.
- W3137366105 hasPublicationYear "2021" @default.
- W3137366105 type Work @default.
- W3137366105 sameAs 3137366105 @default.
- W3137366105 citedByCount "2" @default.
- W3137366105 countsByYear W31373661052021 @default.
- W3137366105 crossrefType "proceedings-article" @default.
- W3137366105 hasAuthorship W3137366105A5020202308 @default.
- W3137366105 hasAuthorship W3137366105A5021888545 @default.
- W3137366105 hasAuthorship W3137366105A5049821685 @default.
- W3137366105 hasConcept C112505250 @default.
- W3137366105 hasConcept C11413529 @default.
- W3137366105 hasConcept C116248031 @default.
- W3137366105 hasConcept C118615104 @default.
- W3137366105 hasConcept C153269930 @default.
- W3137366105 hasConcept C158008952 @default.
- W3137366105 hasConcept C167822520 @default.
- W3137366105 hasConcept C176181172 @default.
- W3137366105 hasConcept C192034797 @default.
- W3137366105 hasConcept C33923547 @default.
- W3137366105 hasConcept C41008148 @default.
- W3137366105 hasConcept C52370388 @default.
- W3137366105 hasConcept C80444323 @default.
- W3137366105 hasConceptScore W3137366105C112505250 @default.
- W3137366105 hasConceptScore W3137366105C11413529 @default.
- W3137366105 hasConceptScore W3137366105C116248031 @default.
- W3137366105 hasConceptScore W3137366105C118615104 @default.
- W3137366105 hasConceptScore W3137366105C153269930 @default.
- W3137366105 hasConceptScore W3137366105C158008952 @default.
- W3137366105 hasConceptScore W3137366105C167822520 @default.
- W3137366105 hasConceptScore W3137366105C176181172 @default.
- W3137366105 hasConceptScore W3137366105C192034797 @default.
- W3137366105 hasConceptScore W3137366105C33923547 @default.
- W3137366105 hasConceptScore W3137366105C41008148 @default.
- W3137366105 hasConceptScore W3137366105C52370388 @default.
- W3137366105 hasConceptScore W3137366105C80444323 @default.
- W3137366105 hasLocation W31373661051 @default.
- W3137366105 hasOpenAccess W3137366105 @default.
- W3137366105 hasPrimaryLocation W31373661051 @default.
- W3137366105 hasRelatedWork W1012866479 @default.
- W3137366105 hasRelatedWork W1538951098 @default.
- W3137366105 hasRelatedWork W171034154 @default.
- W3137366105 hasRelatedWork W1812897951 @default.
- W3137366105 hasRelatedWork W1992294445 @default.
- W3137366105 hasRelatedWork W2056665285 @default.
- W3137366105 hasRelatedWork W2078730851 @default.
- W3137366105 hasRelatedWork W2108987498 @default.
- W3137366105 hasRelatedWork W2126991662 @default.
- W3137366105 hasRelatedWork W2177814128 @default.
- W3137366105 hasRelatedWork W2600860451 @default.
- W3137366105 hasRelatedWork W2805816572 @default.
- W3137366105 hasRelatedWork W2889973542 @default.
- W3137366105 hasRelatedWork W2950731245 @default.
- W3137366105 hasRelatedWork W2962699646 @default.
- W3137366105 hasRelatedWork W2964439228 @default.
- W3137366105 hasRelatedWork W3148934288 @default.
- W3137366105 hasRelatedWork W3186009139 @default.
- W3137366105 hasRelatedWork W3196038441 @default.
- W3137366105 hasRelatedWork W63783938 @default.
- W3137366105 isParatext "false" @default.
- W3137366105 isRetracted "false" @default.
- W3137366105 magId "3137366105" @default.
- W3137366105 workType "article" @default.