Matches in SemOpenAlex for { <https://semopenalex.org/work/W2406845908> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2406845908 endingPage "113" @default.
- W2406845908 startingPage "107" @default.
- W2406845908 abstract "Existing approaches to the synthesis of controllers in reactive systems typically involve the construction of transition systems such as Mealy automata. In 2011, Madhusudan proposed structured programs over a finite set of Boolean variables as a more succinct formalism to represent the controller. He provided an algorithm to construct such a program from a given ω-regular specification without synthesizing a transition system first. His procedure is based on two-way alternating ω-automata on finite trees that recognize the set of correct programs.We present a more elementary and direct approach using only deterministic bottom-up tree automata and extend Madhusudan's results to the wider class of programs with bounded delay, which may read several input symbols before producing an output symbol (or vice versa). In addition, we show a lower bound for the size of these tree automata. Finally, we prove a lower bound for the number of Boolean variables that are required for a structured program to satisfy a given LTL specification, almost matching the known upper bound." @default.
- W2406845908 created "2016-06-24" @default.
- W2406845908 creator A5062113549 @default.
- W2406845908 date "2013-01-01" @default.
- W2406845908 modified "2023-10-18" @default.
- W2406845908 title "Synthesizing Structured Reactive Programs via Deterministic Tree Automata" @default.
- W2406845908 hasPublicationYear "2013" @default.
- W2406845908 type Work @default.
- W2406845908 sameAs 2406845908 @default.
- W2406845908 citedByCount "0" @default.
- W2406845908 crossrefType "journal-article" @default.
- W2406845908 hasAuthorship W2406845908A5062113549 @default.
- W2406845908 hasConcept C104091681 @default.
- W2406845908 hasConcept C112505250 @default.
- W2406845908 hasConcept C113174947 @default.
- W2406845908 hasConcept C11413529 @default.
- W2406845908 hasConcept C114614502 @default.
- W2406845908 hasConcept C116248031 @default.
- W2406845908 hasConcept C118615104 @default.
- W2406845908 hasConcept C134306372 @default.
- W2406845908 hasConcept C174327141 @default.
- W2406845908 hasConcept C2778583254 @default.
- W2406845908 hasConcept C33923547 @default.
- W2406845908 hasConcept C34388435 @default.
- W2406845908 hasConcept C41008148 @default.
- W2406845908 hasConcept C7342684 @default.
- W2406845908 hasConcept C77553402 @default.
- W2406845908 hasConcept C80444323 @default.
- W2406845908 hasConcept C92117001 @default.
- W2406845908 hasConceptScore W2406845908C104091681 @default.
- W2406845908 hasConceptScore W2406845908C112505250 @default.
- W2406845908 hasConceptScore W2406845908C113174947 @default.
- W2406845908 hasConceptScore W2406845908C11413529 @default.
- W2406845908 hasConceptScore W2406845908C114614502 @default.
- W2406845908 hasConceptScore W2406845908C116248031 @default.
- W2406845908 hasConceptScore W2406845908C118615104 @default.
- W2406845908 hasConceptScore W2406845908C134306372 @default.
- W2406845908 hasConceptScore W2406845908C174327141 @default.
- W2406845908 hasConceptScore W2406845908C2778583254 @default.
- W2406845908 hasConceptScore W2406845908C33923547 @default.
- W2406845908 hasConceptScore W2406845908C34388435 @default.
- W2406845908 hasConceptScore W2406845908C41008148 @default.
- W2406845908 hasConceptScore W2406845908C7342684 @default.
- W2406845908 hasConceptScore W2406845908C77553402 @default.
- W2406845908 hasConceptScore W2406845908C80444323 @default.
- W2406845908 hasConceptScore W2406845908C92117001 @default.
- W2406845908 hasLocation W24068459081 @default.
- W2406845908 hasOpenAccess W2406845908 @default.
- W2406845908 hasPrimaryLocation W24068459081 @default.
- W2406845908 hasRelatedWork W1479875784 @default.
- W2406845908 hasRelatedWork W154301702 @default.
- W2406845908 hasRelatedWork W1549106514 @default.
- W2406845908 hasRelatedWork W1584319581 @default.
- W2406845908 hasRelatedWork W173662904 @default.
- W2406845908 hasRelatedWork W1975745970 @default.
- W2406845908 hasRelatedWork W1979078717 @default.
- W2406845908 hasRelatedWork W1988808695 @default.
- W2406845908 hasRelatedWork W1997450827 @default.
- W2406845908 hasRelatedWork W2051161818 @default.
- W2406845908 hasRelatedWork W2099747032 @default.
- W2406845908 hasRelatedWork W2111299652 @default.
- W2406845908 hasRelatedWork W2134126189 @default.
- W2406845908 hasRelatedWork W2142413136 @default.
- W2406845908 hasRelatedWork W2269248476 @default.
- W2406845908 hasRelatedWork W2333929974 @default.
- W2406845908 hasRelatedWork W2487186542 @default.
- W2406845908 hasRelatedWork W2767098878 @default.
- W2406845908 hasRelatedWork W2963307361 @default.
- W2406845908 hasRelatedWork W3011019575 @default.
- W2406845908 isParatext "false" @default.
- W2406845908 isRetracted "false" @default.
- W2406845908 magId "2406845908" @default.
- W2406845908 workType "article" @default.