Matches in SemOpenAlex for { <https://semopenalex.org/work/W2621123249> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2621123249 abstract "We study the problem of automatic synthesis of programs in multi-component architectures such that they satisfy the specifications by construction. The main goal of the thesis is to develop procedures to solve the synthesis problem that may lead to efficient implementations.Each component may have partial observation on the global state of the multi-component system.Therefore, the synthesis problem asks to provide observation-based protocols for the components that have to be synthesized that ensure that specifications hold on all interactions with their environment.The environment may be antagonist, or may have its own objectives and behave rationally.We first study the synthesis problem when the environment is presumed to be completely antagonist. For this setting, we propose a Safraless procedure for the synthesis of one partially informed component and an omniscient environment from KLTL+ specifications. It is implemented in the tool Acacia-K. Secondly, we study the synthesis problem when the components in the environment have their own objectives and are rational. For the more relaxed setting of perfect information, we provide tight complexities for particular omega-regular objectives. Then, for the case of imperfect information, we prove that the rational synthesis problem is undecidable in general, but we gain decidability if is asked to synthesize only one component against a rational omniscient environment" @default.
- W2621123249 created "2017-06-09" @default.
- W2621123249 creator A5086967085 @default.
- W2621123249 date "2016-12-12" @default.
- W2621123249 modified "2023-09-25" @default.
- W2621123249 title "Synthesis of Interactive Reactive Systems" @default.
- W2621123249 hasPublicationYear "2016" @default.
- W2621123249 type Work @default.
- W2621123249 sameAs 2621123249 @default.
- W2621123249 citedByCount "0" @default.
- W2621123249 crossrefType "dissertation" @default.
- W2621123249 hasAuthorship W2621123249A5086967085 @default.
- W2621123249 hasConcept C120314980 @default.
- W2621123249 hasConcept C121332964 @default.
- W2621123249 hasConcept C138885662 @default.
- W2621123249 hasConcept C153269930 @default.
- W2621123249 hasConcept C168167062 @default.
- W2621123249 hasConcept C192034797 @default.
- W2621123249 hasConcept C199360897 @default.
- W2621123249 hasConcept C26713055 @default.
- W2621123249 hasConcept C2780310539 @default.
- W2621123249 hasConcept C41008148 @default.
- W2621123249 hasConcept C41895202 @default.
- W2621123249 hasConcept C80444323 @default.
- W2621123249 hasConcept C97355855 @default.
- W2621123249 hasConceptScore W2621123249C120314980 @default.
- W2621123249 hasConceptScore W2621123249C121332964 @default.
- W2621123249 hasConceptScore W2621123249C138885662 @default.
- W2621123249 hasConceptScore W2621123249C153269930 @default.
- W2621123249 hasConceptScore W2621123249C168167062 @default.
- W2621123249 hasConceptScore W2621123249C192034797 @default.
- W2621123249 hasConceptScore W2621123249C199360897 @default.
- W2621123249 hasConceptScore W2621123249C26713055 @default.
- W2621123249 hasConceptScore W2621123249C2780310539 @default.
- W2621123249 hasConceptScore W2621123249C41008148 @default.
- W2621123249 hasConceptScore W2621123249C41895202 @default.
- W2621123249 hasConceptScore W2621123249C80444323 @default.
- W2621123249 hasConceptScore W2621123249C97355855 @default.
- W2621123249 hasLocation W26211232491 @default.
- W2621123249 hasOpenAccess W2621123249 @default.
- W2621123249 hasPrimaryLocation W26211232491 @default.
- W2621123249 hasRelatedWork W1492515937 @default.
- W2621123249 hasRelatedWork W1537434653 @default.
- W2621123249 hasRelatedWork W1569541078 @default.
- W2621123249 hasRelatedWork W1654885996 @default.
- W2621123249 hasRelatedWork W2164978227 @default.
- W2621123249 hasRelatedWork W2252876197 @default.
- W2621123249 hasRelatedWork W2497178367 @default.
- W2621123249 hasRelatedWork W2528851098 @default.
- W2621123249 hasRelatedWork W2791893678 @default.
- W2621123249 hasRelatedWork W2796962406 @default.
- W2621123249 hasRelatedWork W2905381478 @default.
- W2621123249 hasRelatedWork W2946679193 @default.
- W2621123249 hasRelatedWork W2951962614 @default.
- W2621123249 hasRelatedWork W2953158616 @default.
- W2621123249 hasRelatedWork W2953360733 @default.
- W2621123249 hasRelatedWork W2966828147 @default.
- W2621123249 hasRelatedWork W2967891565 @default.
- W2621123249 hasRelatedWork W29926359 @default.
- W2621123249 hasRelatedWork W3038043032 @default.
- W2621123249 hasRelatedWork W3040175145 @default.
- W2621123249 isParatext "false" @default.
- W2621123249 isRetracted "false" @default.
- W2621123249 magId "2621123249" @default.
- W2621123249 workType "dissertation" @default.