Matches in SemOpenAlex for { <https://semopenalex.org/work/W2949468270> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2949468270 abstract "In this paper, we study the notion of admissibility for randomised strategies in concurrent games. Intuitively, an admissible strategy is one where the player plays `as well as possible', because there is no other strategy that dominates it, i.e., that wins (almost surely) against a super set of adversarial strategies. We prove that admissible strategies always exist in concurrent games, and we characterise them precisely. Then, when the objectives of the players are omega-regular, we show how to perform assume-admissible synthesis, i.e., how to compute admissible strategies that win (almost surely) under the hypothesis that the other players play admissible" @default.
- W2949468270 created "2019-06-27" @default.
- W2949468270 creator A5022195841 @default.
- W2949468270 creator A5050196522 @default.
- W2949468270 creator A5059019724 @default.
- W2949468270 creator A5084201551 @default.
- W2949468270 date "2017-02-21" @default.
- W2949468270 modified "2023-09-27" @default.
- W2949468270 title "Admissibility in Concurrent Games" @default.
- W2949468270 cites W2029583849 @default.
- W2949468270 cites W2121894842 @default.
- W2949468270 cites W2158026954 @default.
- W2949468270 cites W29926359 @default.
- W2949468270 cites W853304191 @default.
- W2949468270 hasPublicationYear "2017" @default.
- W2949468270 type Work @default.
- W2949468270 sameAs 2949468270 @default.
- W2949468270 citedByCount "0" @default.
- W2949468270 crossrefType "posted-content" @default.
- W2949468270 hasAuthorship W2949468270A5022195841 @default.
- W2949468270 hasAuthorship W2949468270A5050196522 @default.
- W2949468270 hasAuthorship W2949468270A5059019724 @default.
- W2949468270 hasAuthorship W2949468270A5084201551 @default.
- W2949468270 hasConcept C121332964 @default.
- W2949468270 hasConcept C144237770 @default.
- W2949468270 hasConcept C154945302 @default.
- W2949468270 hasConcept C177142836 @default.
- W2949468270 hasConcept C177264268 @default.
- W2949468270 hasConcept C199360897 @default.
- W2949468270 hasConcept C202556891 @default.
- W2949468270 hasConcept C2779557605 @default.
- W2949468270 hasConcept C33923547 @default.
- W2949468270 hasConcept C37736160 @default.
- W2949468270 hasConcept C41008148 @default.
- W2949468270 hasConcept C62520636 @default.
- W2949468270 hasConceptScore W2949468270C121332964 @default.
- W2949468270 hasConceptScore W2949468270C144237770 @default.
- W2949468270 hasConceptScore W2949468270C154945302 @default.
- W2949468270 hasConceptScore W2949468270C177142836 @default.
- W2949468270 hasConceptScore W2949468270C177264268 @default.
- W2949468270 hasConceptScore W2949468270C199360897 @default.
- W2949468270 hasConceptScore W2949468270C202556891 @default.
- W2949468270 hasConceptScore W2949468270C2779557605 @default.
- W2949468270 hasConceptScore W2949468270C33923547 @default.
- W2949468270 hasConceptScore W2949468270C37736160 @default.
- W2949468270 hasConceptScore W2949468270C41008148 @default.
- W2949468270 hasConceptScore W2949468270C62520636 @default.
- W2949468270 hasLocation W29494682701 @default.
- W2949468270 hasOpenAccess W2949468270 @default.
- W2949468270 hasPrimaryLocation W29494682701 @default.
- W2949468270 hasRelatedWork W116139747 @default.
- W2949468270 hasRelatedWork W1515215067 @default.
- W2949468270 hasRelatedWork W1561232457 @default.
- W2949468270 hasRelatedWork W1875029160 @default.
- W2949468270 hasRelatedWork W1999686816 @default.
- W2949468270 hasRelatedWork W2024561607 @default.
- W2949468270 hasRelatedWork W2100034226 @default.
- W2949468270 hasRelatedWork W2154877638 @default.
- W2949468270 hasRelatedWork W2323081112 @default.
- W2949468270 hasRelatedWork W2330525772 @default.
- W2949468270 hasRelatedWork W2502545638 @default.
- W2949468270 hasRelatedWork W2610960307 @default.
- W2949468270 hasRelatedWork W2777723544 @default.
- W2949468270 hasRelatedWork W2912189223 @default.
- W2949468270 hasRelatedWork W2950329115 @default.
- W2949468270 hasRelatedWork W2952771911 @default.
- W2949468270 hasRelatedWork W3124627858 @default.
- W2949468270 hasRelatedWork W3152764993 @default.
- W2949468270 hasRelatedWork W3152908808 @default.
- W2949468270 hasRelatedWork W3212537790 @default.
- W2949468270 isParatext "false" @default.
- W2949468270 isRetracted "false" @default.
- W2949468270 magId "2949468270" @default.
- W2949468270 workType "article" @default.