FRINK Linked Data Fragments server

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

• W2953250795 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 {em bidding games} in which the players bid for the right to move the token. Two bidding rules have been defined. In {em Richman} bidding, in each round, the players simultaneously submit bids, and the higher bidder moves the token and pays the other player. {em 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 {em infinite-duration} poorman games. A central quantity in these games is the {em 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 {em 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 {em 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.
• W2953250795 created "2019-06-27" @default.
• W2953250795 creator A5029172336 @default.
• W2953250795 creator A5072999400 @default.
• W2953250795 creator A5080555605 @default.
• W2953250795 date "2018-04-12" @default.
• W2953250795 modified "2023-09-27" @default.
• W2953250795 title "Infinite-Duration Poorman-Bidding Games" @default.
• W2953250795 cites W1496672808 @default.
• W2953250795 cites W1521629545 @default.
• W2953250795 cites W1554763265 @default.
• W2953250795 cites W1594997032 @default.
• W2953250795 cites W1620767973 @default.
• W2953250795 cites W1698843935 @default.
• W2953250795 cites W18590542 @default.
• W2953250795 cites W1966591256 @default.
• W2953250795 cites W1978854104 @default.
• W2953250795 cites W1987197791 @default.
• W2953250795 cites W2016206563 @default.
• W2953250795 cites W2048905609 @default.
• W2953250795 cites W2055963082 @default.
• W2953250795 cites W2067754486 @default.
• W2953250795 cites W2100485490 @default.
• W2953250795 cites W2108947407 @default.
• W2953250795 cites W2119567691 @default.
• W2953250795 cites W2120326455 @default.
• W2953250795 cites W2134884877 @default.
• W2953250795 cites W2142133061 @default.
• W2953250795 cites W2156268532 @default.
• W2953250795 cites W2162583406 @default.
• W2953250795 cites W2212611309 @default.
• W2953250795 cites W2284069850 @default.
• W2953250795 cites W2401635679 @default.
• W2953250795 cites W2513087425 @default.
• W2953250795 cites W2513940585 @default.
• W2953250795 cites W2575731723 @default.
• W2953250795 cites W2586521831 @default.
• W2953250795 cites W2592152548 @default.
• W2953250795 cites W2600133316 @default.
• W2953250795 cites W2808845362 @default.
• W2953250795 cites W2888544991 @default.
• W2953250795 cites W2912248071 @default.
• W2953250795 cites W2912494578 @default.
• W2953250795 cites W2944044438 @default.
• W2953250795 cites W2950037207 @default.
• W2953250795 cites W2957408286 @default.
• W2953250795 cites W2963125462 @default.
• W2953250795 cites W2969765998 @default.
• W2953250795 cites W2970511564 @default.
• W2953250795 cites W2970864178 @default.
• W2953250795 cites W2997473097 @default.
• W2953250795 cites W2998177149 @default.
• W2953250795 cites W3037779091 @default.
• W2953250795 cites W62687772 @default.
• W2953250795 hasPublicationYear "2018" @default.
• W2953250795 type Work @default.
• W2953250795 sameAs 2953250795 @default.
• W2953250795 citedByCount "0" @default.
• W2953250795 crossrefType "posted-content" @default.
• W2953250795 hasAuthorship W2953250795A5029172336 @default.
• W2953250795 hasAuthorship W2953250795A5072999400 @default.
• W2953250795 hasAuthorship W2953250795A5080555605 @default.
• W2953250795 hasConcept C112758219 @default.
• W2953250795 hasConcept C114614502 @default.
• W2953250795 hasConcept C124952713 @default.
• W2953250795 hasConcept C132525143 @default.
• W2953250795 hasConcept C136643341 @default.
• W2953250795 hasConcept C142362112 @default.
• W2953250795 hasConcept C144237770 @default.
• W2953250795 hasConcept C154945302 @default.
• W2953250795 hasConcept C162324750 @default.
• W2953250795 hasConcept C170828538 @default.
• W2953250795 hasConcept C175444787 @default.
• W2953250795 hasConcept C191399111 @default.
• W2953250795 hasConcept C22171661 @default.
• W2953250795 hasConcept C33923547 @default.
• W2953250795 hasConcept C38652104 @default.
• W2953250795 hasConcept C41008148 @default.
• W2953250795 hasConcept C47187476 @default.
• W2953250795 hasConcept C48145219 @default.
• W2953250795 hasConcept C56694532 @default.
• W2953250795 hasConcept C80444323 @default.
• W2953250795 hasConcept C9233905 @default.
• W2953250795 hasConceptScore W2953250795C112758219 @default.
• W2953250795 hasConceptScore W2953250795C114614502 @default.
• W2953250795 hasConceptScore W2953250795C124952713 @default.
• W2953250795 hasConceptScore W2953250795C132525143 @default.
• W2953250795 hasConceptScore W2953250795C136643341 @default.
• W2953250795 hasConceptScore W2953250795C142362112 @default.
• W2953250795 hasConceptScore W2953250795C144237770 @default.
• W2953250795 hasConceptScore W2953250795C154945302 @default.
• W2953250795 hasConceptScore W2953250795C162324750 @default.
• W2953250795 hasConceptScore W2953250795C170828538 @default.
• W2953250795 hasConceptScore W2953250795C175444787 @default.
• W2953250795 hasConceptScore W2953250795C191399111 @default.
• W2953250795 hasConceptScore W2953250795C22171661 @default.
• W2953250795 hasConceptScore W2953250795C33923547 @default.
• W2953250795 hasConceptScore W2953250795C38652104 @default.
• W2953250795 hasConceptScore W2953250795C41008148 @default.
• W2953250795 hasConceptScore W2953250795C47187476 @default.

• next