Matches in SemOpenAlex for { <https://semopenalex.org/work/W974203444> ?p ?o ?g. }
- W974203444 endingPage "3206" @default.
- W974203444 startingPage "3200" @default.
- W974203444 abstract "Whereas previous work on non-deterministic planning has focused on characterizing (and computing) loopy but closed plans, we look here at the kind of environments that these plans are to be executed in. In particular, we provide a logical characterization of the standard fairness assumption used, and show that strong cyclic plans are correct solution concepts for fair environments. We argue then that such logical characterization allows us to recast non-deterministic planning as a reactive synthesis task, and show that for a special case, recent efficient synthesis techniques can be applied." @default.
- W974203444 created "2016-06-24" @default.
- W974203444 creator A5045872670 @default.
- W974203444 creator A5083113018 @default.
- W974203444 date "2015-07-25" @default.
- W974203444 modified "2023-09-26" @default.
- W974203444 title "Towards fully observable non-deterministic planning as assumption-based automatic synthesis" @default.
- W974203444 cites W116329753 @default.
- W974203444 cites W129785674 @default.
- W974203444 cites W1501731334 @default.
- W974203444 cites W1527293087 @default.
- W974203444 cites W1590266960 @default.
- W974203444 cites W16748696 @default.
- W974203444 cites W185076788 @default.
- W974203444 cites W1977297044 @default.
- W974203444 cites W1987411046 @default.
- W974203444 cites W1994350081 @default.
- W974203444 cites W1994451575 @default.
- W974203444 cites W2004306067 @default.
- W974203444 cites W2016206563 @default.
- W974203444 cites W2023808162 @default.
- W974203444 cites W2041701185 @default.
- W974203444 cites W2099299766 @default.
- W974203444 cites W2110425399 @default.
- W974203444 cites W2113453155 @default.
- W974203444 cites W2135220153 @default.
- W974203444 cites W2150833775 @default.
- W974203444 cites W2184152170 @default.
- W974203444 cites W269605412 @default.
- W974203444 cites W3023554972 @default.
- W974203444 cites W3144368627 @default.
- W974203444 cites W39089149 @default.
- W974203444 cites W426974520 @default.
- W974203444 cites W2523096516 @default.
- W974203444 hasPublicationYear "2015" @default.
- W974203444 type Work @default.
- W974203444 sameAs 974203444 @default.
- W974203444 citedByCount "4" @default.
- W974203444 countsByYear W9742034442016 @default.
- W974203444 countsByYear W9742034442018 @default.
- W974203444 countsByYear W9742034442020 @default.
- W974203444 countsByYear W9742034442021 @default.
- W974203444 crossrefType "proceedings-article" @default.
- W974203444 hasAuthorship W974203444A5045872670 @default.
- W974203444 hasAuthorship W974203444A5083113018 @default.
- W974203444 hasConcept C121332964 @default.
- W974203444 hasConcept C127413603 @default.
- W974203444 hasConcept C171250308 @default.
- W974203444 hasConcept C18762648 @default.
- W974203444 hasConcept C192562407 @default.
- W974203444 hasConcept C199360897 @default.
- W974203444 hasConcept C201995342 @default.
- W974203444 hasConcept C21847791 @default.
- W974203444 hasConcept C2780451532 @default.
- W974203444 hasConcept C2780841128 @default.
- W974203444 hasConcept C32848918 @default.
- W974203444 hasConcept C41008148 @default.
- W974203444 hasConcept C62520636 @default.
- W974203444 hasConcept C78519656 @default.
- W974203444 hasConcept C80444323 @default.
- W974203444 hasConceptScore W974203444C121332964 @default.
- W974203444 hasConceptScore W974203444C127413603 @default.
- W974203444 hasConceptScore W974203444C171250308 @default.
- W974203444 hasConceptScore W974203444C18762648 @default.
- W974203444 hasConceptScore W974203444C192562407 @default.
- W974203444 hasConceptScore W974203444C199360897 @default.
- W974203444 hasConceptScore W974203444C201995342 @default.
- W974203444 hasConceptScore W974203444C21847791 @default.
- W974203444 hasConceptScore W974203444C2780451532 @default.
- W974203444 hasConceptScore W974203444C2780841128 @default.
- W974203444 hasConceptScore W974203444C32848918 @default.
- W974203444 hasConceptScore W974203444C41008148 @default.
- W974203444 hasConceptScore W974203444C62520636 @default.
- W974203444 hasConceptScore W974203444C78519656 @default.
- W974203444 hasConceptScore W974203444C80444323 @default.
- W974203444 hasLocation W9742034441 @default.
- W974203444 hasOpenAccess W974203444 @default.
- W974203444 hasPrimaryLocation W9742034441 @default.
- W974203444 hasRelatedWork W1269834608 @default.
- W974203444 hasRelatedWork W1499127572 @default.
- W974203444 hasRelatedWork W1524948529 @default.
- W974203444 hasRelatedWork W1562347120 @default.
- W974203444 hasRelatedWork W1580285352 @default.
- W974203444 hasRelatedWork W1693457958 @default.
- W974203444 hasRelatedWork W186856586 @default.
- W974203444 hasRelatedWork W191617109 @default.
- W974203444 hasRelatedWork W2252876197 @default.
- W974203444 hasRelatedWork W2398966787 @default.
- W974203444 hasRelatedWork W2401601291 @default.
- W974203444 hasRelatedWork W2570055034 @default.
- W974203444 hasRelatedWork W2791893678 @default.
- W974203444 hasRelatedWork W2892753781 @default.
- W974203444 hasRelatedWork W2945926675 @default.
- W974203444 hasRelatedWork W2966828147 @default.
- W974203444 hasRelatedWork W2993635893 @default.
- W974203444 hasRelatedWork W3085399729 @default.
- W974203444 hasRelatedWork W426974520 @default.
- W974203444 hasRelatedWork W2790378076 @default.