Matches in SemOpenAlex for { <https://semopenalex.org/work/W1748602292> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W1748602292 abstract "Behavioral properties of open systems can be formalized as objectives in two-player games. Turn-based games model asynchronous interaction between the players (the system and its environment) by interleaving their moves. Concurrent games model synchronous interaction: the players always move simultaneously. Infinitary winning criteria are considered: Buchi, co-Buchi, and more general parity conditions. A generalization of determinacy for parity games to concurrent parity games demands probabilistic (mixed) strategies: either player 1 has a mixed strategy to win with probability 1 (almost-sure winning), or player 2 has a mixed strategy to win with positive probability.This work provides efficient reductions of concurrent probabilistic Buchi and co-Buchi games to turn-based games with Buchi condition and parity winning condition with three priorities, respectively. From a theoretical point of view, the latter reduction shows that one can trade the probabilistic nature of almost-sure winning for a more general parity (fairness) condition. The reductions improve understanding of concurrent games and provide an alternative simple proof of determinacy of concurrent Buchi and co-Buchi games. From a practical point of view, the reductions turn solvers of turn-based games into solvers of concurrent probabilistic games. Thus improvements in the well-studied algorithms for the former carry over immediately to the latter. In particular, a recent improvement in the complexity of solving turn-based parity games yields an improvement in time complexity of solving concurrent probabilistic co-Buchi games from cubic to quadratic." @default.
- W1748602292 created "2016-06-24" @default.
- W1748602292 creator A5073411912 @default.
- W1748602292 creator A5077429082 @default.
- W1748602292 creator A5080555605 @default.
- W1748602292 date "2002-01-01" @default.
- W1748602292 modified "2023-09-24" @default.
- W1748602292 title "Trading Probability for Fairness" @default.
- W1748602292 cites W1505081061 @default.
- W1748602292 cites W1514240489 @default.
- W1748602292 cites W1545524531 @default.
- W1748602292 cites W1546220007 @default.
- W1748602292 cites W1604964798 @default.
- W1748602292 cites W1678564987 @default.
- W1748602292 cites W1816620374 @default.
- W1748602292 cites W1971138850 @default.
- W1748602292 cites W2016206563 @default.
- W1748602292 cites W2051491228 @default.
- W1748602292 cites W2124110813 @default.
- W1748602292 cites W2142008356 @default.
- W1748602292 cites W2293400264 @default.
- W1748602292 cites W2913210435 @default.
- W1748602292 cites W3022006420 @default.
- W1748602292 doi "https://doi.org/10.1007/3-540-45793-3_20" @default.
- W1748602292 hasPublicationYear "2002" @default.
- W1748602292 type Work @default.
- W1748602292 sameAs 1748602292 @default.
- W1748602292 citedByCount "8" @default.
- W1748602292 countsByYear W17486022922012 @default.
- W1748602292 countsByYear W17486022922016 @default.
- W1748602292 crossrefType "book-chapter" @default.
- W1748602292 hasAuthorship W1748602292A5073411912 @default.
- W1748602292 hasAuthorship W1748602292A5077429082 @default.
- W1748602292 hasAuthorship W1748602292A5080555605 @default.
- W1748602292 hasConcept C109214941 @default.
- W1748602292 hasConcept C111919701 @default.
- W1748602292 hasConcept C121332964 @default.
- W1748602292 hasConcept C134306372 @default.
- W1748602292 hasConcept C151319957 @default.
- W1748602292 hasConcept C154945302 @default.
- W1748602292 hasConcept C170828538 @default.
- W1748602292 hasConcept C177148314 @default.
- W1748602292 hasConcept C2777151079 @default.
- W1748602292 hasConcept C28034677 @default.
- W1748602292 hasConcept C31258907 @default.
- W1748602292 hasConcept C33923547 @default.
- W1748602292 hasConcept C41008148 @default.
- W1748602292 hasConcept C47187476 @default.
- W1748602292 hasConcept C49937458 @default.
- W1748602292 hasConcept C56694532 @default.
- W1748602292 hasConcept C58468513 @default.
- W1748602292 hasConcept C80444323 @default.
- W1748602292 hasConceptScore W1748602292C109214941 @default.
- W1748602292 hasConceptScore W1748602292C111919701 @default.
- W1748602292 hasConceptScore W1748602292C121332964 @default.
- W1748602292 hasConceptScore W1748602292C134306372 @default.
- W1748602292 hasConceptScore W1748602292C151319957 @default.
- W1748602292 hasConceptScore W1748602292C154945302 @default.
- W1748602292 hasConceptScore W1748602292C170828538 @default.
- W1748602292 hasConceptScore W1748602292C177148314 @default.
- W1748602292 hasConceptScore W1748602292C2777151079 @default.
- W1748602292 hasConceptScore W1748602292C28034677 @default.
- W1748602292 hasConceptScore W1748602292C31258907 @default.
- W1748602292 hasConceptScore W1748602292C33923547 @default.
- W1748602292 hasConceptScore W1748602292C41008148 @default.
- W1748602292 hasConceptScore W1748602292C47187476 @default.
- W1748602292 hasConceptScore W1748602292C49937458 @default.
- W1748602292 hasConceptScore W1748602292C56694532 @default.
- W1748602292 hasConceptScore W1748602292C58468513 @default.
- W1748602292 hasConceptScore W1748602292C80444323 @default.
- W1748602292 hasLocation W17486022921 @default.
- W1748602292 hasOpenAccess W1748602292 @default.
- W1748602292 hasPrimaryLocation W17486022921 @default.
- W1748602292 hasRelatedWork W1505081061 @default.
- W1748602292 hasRelatedWork W1514240489 @default.
- W1748602292 hasRelatedWork W1542938517 @default.
- W1748602292 hasRelatedWork W1667094241 @default.
- W1748602292 hasRelatedWork W166796366 @default.
- W1748602292 hasRelatedWork W1816620374 @default.
- W1748602292 hasRelatedWork W1966347268 @default.
- W1748602292 hasRelatedWork W2012151424 @default.
- W1748602292 hasRelatedWork W2016206563 @default.
- W1748602292 hasRelatedWork W2038680194 @default.
- W1748602292 hasRelatedWork W2042796301 @default.
- W1748602292 hasRelatedWork W2060155289 @default.
- W1748602292 hasRelatedWork W2063391005 @default.
- W1748602292 hasRelatedWork W2113108692 @default.
- W1748602292 hasRelatedWork W2143870306 @default.
- W1748602292 hasRelatedWork W2144338279 @default.
- W1748602292 hasRelatedWork W2164244538 @default.
- W1748602292 hasRelatedWork W2170933628 @default.
- W1748602292 hasRelatedWork W2412582712 @default.
- W1748602292 hasRelatedWork W2754858045 @default.
- W1748602292 isParatext "false" @default.
- W1748602292 isRetracted "false" @default.
- W1748602292 magId "1748602292" @default.
- W1748602292 workType "book-chapter" @default.