FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3037899416> ?p ?o ?g. }

• W3037899416 abstract "We consider turn-based game arenas for which we investigate uniformity properties of strategies. These properties involve bundles of plays, that arise from some semantical motive. Typically, we can represent constraints on allowed strategies, such as being observation-based. We propose a formal language to specify uniformity properties and demonstrate its relevance by rephrasing various known problems from the literature. Note that the ability to correlate different plays cannot be achieved by any branching-time logic if not equipped with an additional modality, so-called R in this contribution. We also study an automated procedure to synthesize strategies subject to a uniformity property, which strictly extends existing results based on, say standard temporal logics. We exhibit a generic solution for the synthesis problem provided the bundles of plays rely on any binary relation definable by a finite state transducer. This solution yields a non-elementary procedure." @default.
• W3037899416 created "2020-07-02" @default.
• W3037899416 creator A5020611616 @default.
• W3037899416 creator A5045320227 @default.
• W3037899416 date "2012-12-03" @default.
• W3037899416 modified "2023-10-16" @default.
• W3037899416 title "Uniform Strategies" @default.
• W3037899416 cites W115797077 @default.
• W3037899416 cites W1492585812 @default.
• W3037899416 cites W1497329491 @default.
• W3037899416 cites W1501062661 @default.
• W3037899416 cites W1524132441 @default.
• W3037899416 cites W1565374274 @default.
• W3037899416 cites W1594997032 @default.
• W3037899416 cites W1600159979 @default.
• W3037899416 cites W1737156267 @default.
• W3037899416 cites W1948516912 @default.
• W3037899416 cites W1965306495 @default.
• W3037899416 cites W1977764760 @default.
• W3037899416 cites W1985787415 @default.
• W3037899416 cites W2003227046 @default.
• W3037899416 cites W2009844825 @default.
• W3037899416 cites W2016917647 @default.
• W3037899416 cites W2019704274 @default.
• W3037899416 cites W2022228153 @default.
• W3037899416 cites W2048905609 @default.
• W3037899416 cites W2054099039 @default.
• W3037899416 cites W2076477141 @default.
• W3037899416 cites W2089344401 @default.
• W3037899416 cites W2092977061 @default.
• W3037899416 cites W2113798763 @default.
• W3037899416 cites W2117558445 @default.
• W3037899416 cites W2157319504 @default.
• W3037899416 cites W2157438678 @default.
• W3037899416 cites W2170933628 @default.
• W3037899416 cites W2178626170 @default.
• W3037899416 cites W2575718854 @default.
• W3037899416 cites W2895527274 @default.
• W3037899416 hasPublicationYear "2012" @default.
• W3037899416 type Work @default.
• W3037899416 sameAs 3037899416 @default.
• W3037899416 citedByCount "4" @default.
• W3037899416 countsByYear W30378994162013 @default.
• W3037899416 countsByYear W30378994162014 @default.
• W3037899416 countsByYear W30378994162020 @default.
• W3037899416 crossrefType "posted-content" @default.
• W3037899416 hasAuthorship W3037899416A5020611616 @default.
• W3037899416 hasAuthorship W3037899416A5045320227 @default.
• W3037899416 hasConcept C111472728 @default.
• W3037899416 hasConcept C11413529 @default.
• W3037899416 hasConcept C118615104 @default.
• W3037899416 hasConcept C138885662 @default.
• W3037899416 hasConcept C158154518 @default.
• W3037899416 hasConcept C159985019 @default.
• W3037899416 hasConcept C17744445 @default.
• W3037899416 hasConcept C189950617 @default.
• W3037899416 hasConcept C192562407 @default.
• W3037899416 hasConcept C199539241 @default.
• W3037899416 hasConcept C206175624 @default.
• W3037899416 hasConcept C25016198 @default.
• W3037899416 hasConcept C25343380 @default.
• W3037899416 hasConcept C33923547 @default.
• W3037899416 hasConcept C41008148 @default.
• W3037899416 hasConcept C48372109 @default.
• W3037899416 hasConcept C65180967 @default.
• W3037899416 hasConcept C77088390 @default.
• W3037899416 hasConcept C80444323 @default.
• W3037899416 hasConcept C94375191 @default.
• W3037899416 hasConceptScore W3037899416C111472728 @default.
• W3037899416 hasConceptScore W3037899416C11413529 @default.
• W3037899416 hasConceptScore W3037899416C118615104 @default.
• W3037899416 hasConceptScore W3037899416C138885662 @default.
• W3037899416 hasConceptScore W3037899416C158154518 @default.
• W3037899416 hasConceptScore W3037899416C159985019 @default.
• W3037899416 hasConceptScore W3037899416C17744445 @default.
• W3037899416 hasConceptScore W3037899416C189950617 @default.
• W3037899416 hasConceptScore W3037899416C192562407 @default.
• W3037899416 hasConceptScore W3037899416C199539241 @default.
• W3037899416 hasConceptScore W3037899416C206175624 @default.
• W3037899416 hasConceptScore W3037899416C25016198 @default.
• W3037899416 hasConceptScore W3037899416C25343380 @default.
• W3037899416 hasConceptScore W3037899416C33923547 @default.
• W3037899416 hasConceptScore W3037899416C41008148 @default.
• W3037899416 hasConceptScore W3037899416C48372109 @default.
• W3037899416 hasConceptScore W3037899416C65180967 @default.
• W3037899416 hasConceptScore W3037899416C77088390 @default.
• W3037899416 hasConceptScore W3037899416C80444323 @default.
• W3037899416 hasConceptScore W3037899416C94375191 @default.
• W3037899416 hasLocation W30378994161 @default.
• W3037899416 hasOpenAccess W3037899416 @default.
• W3037899416 hasPrimaryLocation W30378994161 @default.
• W3037899416 hasRelatedWork W1489383421 @default.
• W3037899416 hasRelatedWork W1524750318 @default.
• W3037899416 hasRelatedWork W1815958522 @default.
• W3037899416 hasRelatedWork W183734499 @default.
• W3037899416 hasRelatedWork W1892851289 @default.
• W3037899416 hasRelatedWork W1944053331 @default.
• W3037899416 hasRelatedWork W2010009487 @default.
• W3037899416 hasRelatedWork W2061679993 @default.
• W3037899416 hasRelatedWork W2112955239 @default.

• next