Matches in SemOpenAlex for { <https://semopenalex.org/work/W1515556175> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W1515556175 abstract "We study various problems of synthesizing reactive programs. A reactive program is a program whose behaviors are not merely functional relationships between inputs and outputs, but sequences of actions as well as interactions between the program and its environment. The goal of program synthesis in general is to find an implementation of a program such that the behaviors of the implementation satisfy a given specification.The reactive behaviors which we study are $omega$-regular infinite sequences and regular finite sequences. The domain of the implementation is (finite) transition systems for closed system synthesis, and transition system modules for open system synthesis. We consider various solutions, e.g. basic, maximal, modular and exact, for any particular subclasses of the implementation language and investigate how characteristics of the program such as fairness, number of processes and composition operations, affect the synthesis algorithm. In addition to the automata-theoretic algorithms, we give a synthesis algorithm which synthesizes a program directly from the linear temporal logic ETL." @default.
- W1515556175 created "2016-06-24" @default.
- W1515556175 creator A5047915672 @default.
- W1515556175 date "1996-10-03" @default.
- W1515556175 modified "2023-09-28" @default.
- W1515556175 title "Synthesis of reactive programs" @default.
- W1515556175 hasPublicationYear "1996" @default.
- W1515556175 type Work @default.
- W1515556175 sameAs 1515556175 @default.
- W1515556175 citedByCount "3" @default.
- W1515556175 crossrefType "journal-article" @default.
- W1515556175 hasAuthorship W1515556175A5047915672 @default.
- W1515556175 hasConcept C101468663 @default.
- W1515556175 hasConcept C112505250 @default.
- W1515556175 hasConcept C11413529 @default.
- W1515556175 hasConcept C134306372 @default.
- W1515556175 hasConcept C199360897 @default.
- W1515556175 hasConcept C2776937632 @default.
- W1515556175 hasConcept C2779167558 @default.
- W1515556175 hasConcept C33923547 @default.
- W1515556175 hasConcept C36503486 @default.
- W1515556175 hasConcept C41008148 @default.
- W1515556175 hasConcept C80444323 @default.
- W1515556175 hasConceptScore W1515556175C101468663 @default.
- W1515556175 hasConceptScore W1515556175C112505250 @default.
- W1515556175 hasConceptScore W1515556175C11413529 @default.
- W1515556175 hasConceptScore W1515556175C134306372 @default.
- W1515556175 hasConceptScore W1515556175C199360897 @default.
- W1515556175 hasConceptScore W1515556175C2776937632 @default.
- W1515556175 hasConceptScore W1515556175C2779167558 @default.
- W1515556175 hasConceptScore W1515556175C33923547 @default.
- W1515556175 hasConceptScore W1515556175C36503486 @default.
- W1515556175 hasConceptScore W1515556175C41008148 @default.
- W1515556175 hasConceptScore W1515556175C80444323 @default.
- W1515556175 hasLocation W15155561751 @default.
- W1515556175 hasOpenAccess W1515556175 @default.
- W1515556175 hasPrimaryLocation W15155561751 @default.
- W1515556175 hasRelatedWork W142677425 @default.
- W1515556175 hasRelatedWork W1503565364 @default.
- W1515556175 hasRelatedWork W1517891847 @default.
- W1515556175 hasRelatedWork W1546061844 @default.
- W1515556175 hasRelatedWork W1548645056 @default.
- W1515556175 hasRelatedWork W1654885996 @default.
- W1515556175 hasRelatedWork W1853050853 @default.
- W1515556175 hasRelatedWork W2055341574 @default.
- W1515556175 hasRelatedWork W2289325679 @default.
- W1515556175 hasRelatedWork W2497178367 @default.
- W1515556175 hasRelatedWork W2528851098 @default.
- W1515556175 hasRelatedWork W2589136112 @default.
- W1515556175 hasRelatedWork W2625588848 @default.
- W1515556175 hasRelatedWork W2717422335 @default.
- W1515556175 hasRelatedWork W2796962406 @default.
- W1515556175 hasRelatedWork W2950488518 @default.
- W1515556175 hasRelatedWork W2953158616 @default.
- W1515556175 hasRelatedWork W3021947353 @default.
- W1515556175 hasRelatedWork W3042689773 @default.
- W1515556175 hasRelatedWork W2187980621 @default.
- W1515556175 isParatext "false" @default.
- W1515556175 isRetracted "false" @default.
- W1515556175 magId "1515556175" @default.
- W1515556175 workType "article" @default.