Matches in SemOpenAlex for { <https://semopenalex.org/work/W1566556828> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W1566556828 abstract "Half positionality is the property of a language of infinite words to admit positional winning strategies, when interpreted as the goal of a two-player game on a graph. Such problem applies to the automatic synthesis of controllers, where positional strategies represent efficient controllers. As our main result, we describe a novel sufficient condition for half positionality, more general than what was previously known. Moreover, we compare our proposed condition with several others, proposed in the recent literature, outlining an intricate network of relationships, where only few combinations are sufficient for half positionality." @default.
- W1566556828 created "2016-06-24" @default.
- W1566556828 creator A5023890924 @default.
- W1566556828 creator A5052215915 @default.
- W1566556828 creator A5055415505 @default.
- W1566556828 creator A5071866046 @default.
- W1566556828 date "2010-01-01" @default.
- W1566556828 modified "2023-09-25" @default.
- W1566556828 title "Exploring the Boundary of Half Positionality" @default.
- W1566556828 cites W1484918864 @default.
- W1566556828 cites W1508088786 @default.
- W1566556828 cites W1568797836 @default.
- W1566556828 cites W1569758148 @default.
- W1566556828 cites W1607296857 @default.
- W1566556828 cites W1971138850 @default.
- W1566556828 cites W1993569943 @default.
- W1566556828 cites W2060375000 @default.
- W1566556828 cites W2493860389 @default.
- W1566556828 cites W2913210435 @default.
- W1566556828 doi "https://doi.org/10.1007/978-3-642-14977-1_14" @default.
- W1566556828 hasPublicationYear "2010" @default.
- W1566556828 type Work @default.
- W1566556828 sameAs 1566556828 @default.
- W1566556828 citedByCount "1" @default.
- W1566556828 crossrefType "book-chapter" @default.
- W1566556828 hasAuthorship W1566556828A5023890924 @default.
- W1566556828 hasAuthorship W1566556828A5052215915 @default.
- W1566556828 hasAuthorship W1566556828A5055415505 @default.
- W1566556828 hasAuthorship W1566556828A5071866046 @default.
- W1566556828 hasConcept C111472728 @default.
- W1566556828 hasConcept C132525143 @default.
- W1566556828 hasConcept C134306372 @default.
- W1566556828 hasConcept C138885662 @default.
- W1566556828 hasConcept C154945302 @default.
- W1566556828 hasConcept C189950617 @default.
- W1566556828 hasConcept C33923547 @default.
- W1566556828 hasConcept C41008148 @default.
- W1566556828 hasConcept C62354387 @default.
- W1566556828 hasConcept C80444323 @default.
- W1566556828 hasConceptScore W1566556828C111472728 @default.
- W1566556828 hasConceptScore W1566556828C132525143 @default.
- W1566556828 hasConceptScore W1566556828C134306372 @default.
- W1566556828 hasConceptScore W1566556828C138885662 @default.
- W1566556828 hasConceptScore W1566556828C154945302 @default.
- W1566556828 hasConceptScore W1566556828C189950617 @default.
- W1566556828 hasConceptScore W1566556828C33923547 @default.
- W1566556828 hasConceptScore W1566556828C41008148 @default.
- W1566556828 hasConceptScore W1566556828C62354387 @default.
- W1566556828 hasConceptScore W1566556828C80444323 @default.
- W1566556828 hasLocation W15665568281 @default.
- W1566556828 hasOpenAccess W1566556828 @default.
- W1566556828 hasPrimaryLocation W15665568281 @default.
- W1566556828 hasRelatedWork W1522807435 @default.
- W1566556828 hasRelatedWork W1977397414 @default.
- W1566556828 hasRelatedWork W2032549147 @default.
- W1566556828 hasRelatedWork W2108298590 @default.
- W1566556828 hasRelatedWork W2120795679 @default.
- W1566556828 hasRelatedWork W2151580038 @default.
- W1566556828 hasRelatedWork W2295819417 @default.
- W1566556828 hasRelatedWork W2315889129 @default.
- W1566556828 hasRelatedWork W2318839952 @default.
- W1566556828 hasRelatedWork W2473047712 @default.
- W1566556828 hasRelatedWork W2478222954 @default.
- W1566556828 hasRelatedWork W2726280152 @default.
- W1566556828 hasRelatedWork W2802550828 @default.
- W1566556828 hasRelatedWork W2953201632 @default.
- W1566556828 hasRelatedWork W3030654112 @default.
- W1566556828 hasRelatedWork W3122555183 @default.
- W1566556828 hasRelatedWork W3157889473 @default.
- W1566556828 hasRelatedWork W48077142 @default.
- W1566556828 hasRelatedWork W50776579 @default.
- W1566556828 hasRelatedWork W66878019 @default.
- W1566556828 isParatext "false" @default.
- W1566556828 isRetracted "false" @default.
- W1566556828 magId "1566556828" @default.
- W1566556828 workType "book-chapter" @default.