FRINK Linked Data Fragments server

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

• W2797251385 endingPage "36" @default.
• W2797251385 startingPage "21" @default.
• W2797251385 abstract "In two-player games on graphs, the players move a token through a graph to produce an infinite path, which determines the winner or payoff of the game. Such games are central in formal verification since they model the interaction between a non-terminating system and its environment. We study bidding games in which the players bid for the right to move the token. Two bidding rules have been defined. In Richman bidding, in each round, the players simultaneously submit bids, and the higher bidder moves the token and pays the other player. Poorman bidding is similar except that the winner of the bidding pays the “bank” rather than the other player. While poorman reachability games have been studied before, we present, for the first time, results on infinite-duration poorman games. A central quantity in these games is the ratio between the two players’ initial budgets. The questions we study concern a necessary and sufficient ratio with which a player can achieve a goal. For reachability objectives, such threshold ratios are known to exist for both bidding rules. We show that the properties of poorman reachability games extend to complex qualitative objectives such as parity, similarly to the Richman case. Our most interesting results concern quantitative poorman games, namely poorman mean-payoff games, where we construct optimal strategies depending on the initial ratio, by showing a connection with random-turn based games. The connection in itself is interesting, because it does not hold for reachability poorman games. We also solve the complexity problems that arise in poorman bidding games." @default.
• W2797251385 created "2018-04-24" @default.
• W2797251385 creator A5029172336 @default.
• W2797251385 creator A5072999400 @default.
• W2797251385 creator A5080555605 @default.
• W2797251385 date "2018-01-01" @default.
• W2797251385 modified "2023-09-23" @default.
• W2797251385 title "Infinite-Duration Poorman-Bidding Games" @default.
• W2797251385 cites W1496672808 @default.
• W2797251385 cites W1594997032 @default.
• W2797251385 cites W1966591256 @default.
• W2797251385 cites W1987197791 @default.
• W2797251385 cites W2016206563 @default.
• W2797251385 cites W2025991831 @default.
• W2797251385 cites W2048905609 @default.
• W2797251385 cites W2055963082 @default.
• W2797251385 cites W2066590618 @default.
• W2797251385 cites W2067754486 @default.
• W2797251385 cites W2077797818 @default.
• W2797251385 cites W2100485490 @default.
• W2797251385 cites W2108947407 @default.
• W2797251385 cites W2120326455 @default.
• W2797251385 cites W2134884877 @default.
• W2797251385 cites W2142133061 @default.
• W2797251385 cites W2508573783 @default.
• W2797251385 cites W2513087425 @default.
• W2797251385 cites W2513940585 @default.
• W2797251385 cites W2586521831 @default.
• W2797251385 cites W2600133316 @default.
• W2797251385 cites W2745722716 @default.
• W2797251385 cites W2808845362 @default.
• W2797251385 cites W2912248071 @default.
• W2797251385 cites W2912494578 @default.
• W2797251385 cites W2949148604 @default.
• W2797251385 cites W3037748854 @default.
• W2797251385 doi "https://doi.org/10.1007/978-3-030-04612-5_2" @default.
• W2797251385 hasPublicationYear "2018" @default.
• W2797251385 type Work @default.
• W2797251385 sameAs 2797251385 @default.
• W2797251385 citedByCount "5" @default.
• W2797251385 countsByYear W27972513852017 @default.
• W2797251385 countsByYear W27972513852019 @default.
• W2797251385 countsByYear W27972513852020 @default.
• W2797251385 countsByYear W27972513852021 @default.
• W2797251385 crossrefType "book-chapter" @default.
• W2797251385 hasAuthorship W2797251385A5029172336 @default.
• W2797251385 hasAuthorship W2797251385A5072999400 @default.
• W2797251385 hasAuthorship W2797251385A5080555605 @default.
• W2797251385 hasBestOaLocation W27972513852 @default.
• W2797251385 hasConcept C102234262 @default.
• W2797251385 hasConcept C112758219 @default.
• W2797251385 hasConcept C114614502 @default.
• W2797251385 hasConcept C124952713 @default.
• W2797251385 hasConcept C132525143 @default.
• W2797251385 hasConcept C136643341 @default.
• W2797251385 hasConcept C142362112 @default.
• W2797251385 hasConcept C144237770 @default.
• W2797251385 hasConcept C154945302 @default.
• W2797251385 hasConcept C162324750 @default.
• W2797251385 hasConcept C170828538 @default.
• W2797251385 hasConcept C175444787 @default.
• W2797251385 hasConcept C177142836 @default.
• W2797251385 hasConcept C191399111 @default.
• W2797251385 hasConcept C202556891 @default.
• W2797251385 hasConcept C22171661 @default.
• W2797251385 hasConcept C33923547 @default.
• W2797251385 hasConcept C38652104 @default.
• W2797251385 hasConcept C41008148 @default.
• W2797251385 hasConcept C47187476 @default.
• W2797251385 hasConcept C48145219 @default.
• W2797251385 hasConcept C56694532 @default.
• W2797251385 hasConcept C80444323 @default.
• W2797251385 hasConcept C9233905 @default.
• W2797251385 hasConceptScore W2797251385C102234262 @default.
• W2797251385 hasConceptScore W2797251385C112758219 @default.
• W2797251385 hasConceptScore W2797251385C114614502 @default.
• W2797251385 hasConceptScore W2797251385C124952713 @default.
• W2797251385 hasConceptScore W2797251385C132525143 @default.
• W2797251385 hasConceptScore W2797251385C136643341 @default.
• W2797251385 hasConceptScore W2797251385C142362112 @default.
• W2797251385 hasConceptScore W2797251385C144237770 @default.
• W2797251385 hasConceptScore W2797251385C154945302 @default.
• W2797251385 hasConceptScore W2797251385C162324750 @default.
• W2797251385 hasConceptScore W2797251385C170828538 @default.
• W2797251385 hasConceptScore W2797251385C175444787 @default.
• W2797251385 hasConceptScore W2797251385C177142836 @default.
• W2797251385 hasConceptScore W2797251385C191399111 @default.
• W2797251385 hasConceptScore W2797251385C202556891 @default.
• W2797251385 hasConceptScore W2797251385C22171661 @default.
• W2797251385 hasConceptScore W2797251385C33923547 @default.
• W2797251385 hasConceptScore W2797251385C38652104 @default.
• W2797251385 hasConceptScore W2797251385C41008148 @default.
• W2797251385 hasConceptScore W2797251385C47187476 @default.
• W2797251385 hasConceptScore W2797251385C48145219 @default.
• W2797251385 hasConceptScore W2797251385C56694532 @default.
• W2797251385 hasConceptScore W2797251385C80444323 @default.
• W2797251385 hasConceptScore W2797251385C9233905 @default.
• W2797251385 hasLocation W27972513851 @default.

• next