FRINK Linked Data Fragments server

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

• W2944731686 abstract "In two-player games on graphs, the players move a token through a graph to produce an infinite path, which determines the winner of the game. Such games are central in formal methods since they model the interaction between a non-terminating system and its environment. In bidding games the players bid for the right to move the token: in each round, the players simultaneously submit bids, and the higher bidder moves the token and pays the other player. Bidding games are known to have a clean and elegant mathematical structure that relies on the ability of the players to submit arbitrarily small bids. Many applications, however, require a fixed granularity for the bids, which can represent, for example, the monetary value expressed in cents. We study, for the first time, the combination of discrete-bidding and infinite-duration games. Our most important result proves that these games form a large determined subclass of concurrent games, where determinacy is the strong property that there always exists exactly one player who can guarantee winning the game. In particular, we show that, in contrast to non-discrete bidding games, the mechanism with which tied bids are resolved plays an important role in discrete-bidding games. We study several natural tie-breaking mechanisms and show that, while some do not admit determinacy, most natural mechanisms imply determinacy for every pair of initial budgets." @default.
• W2944731686 created "2019-05-16" @default.
• W2944731686 creator A5006324090 @default.
• W2944731686 creator A5029172336 @default.
• W2944731686 creator A5080555605 @default.
• W2944731686 date "2021-02-01" @default.
• W2944731686 modified "2023-10-14" @default.
• W2944731686 title "Determinacy in Discrete-Bidding Infinite-Duration Games" @default.
• W2944731686 cites W1496672808 @default.
• W2944731686 cites W1554763265 @default.
• W2944731686 cites W1594997032 @default.
• W2944731686 cites W1987197791 @default.
• W2944731686 cites W2016206563 @default.
• W2944731686 cites W2017194981 @default.
• W2944731686 cites W2048905609 @default.
• W2944731686 cites W2066590618 @default.
• W2944731686 cites W2100485490 @default.
• W2944731686 cites W2108947407 @default.
• W2944731686 cites W2120326455 @default.
• W2944731686 cites W2134884877 @default.
• W2944731686 cites W2162583406 @default.
• W2944731686 cites W2212611309 @default.
• W2944731686 cites W2284069850 @default.
• W2944731686 cites W2401635679 @default.
• W2944731686 cites W2513087425 @default.
• W2944731686 cites W2513940585 @default.
• W2944731686 cites W2600133316 @default.
• W2944731686 cites W2797251385 @default.
• W2944731686 cites W2808845362 @default.
• W2944731686 cites W2888544991 @default.
• W2944731686 cites W2900708401 @default.
• W2944731686 cites W2912248071 @default.
• W2944731686 cites W2912494578 @default.
• W2944731686 cites W2944044438 @default.
• W2944731686 cites W2950037207 @default.
• W2944731686 cites W2957408286 @default.
• W2944731686 cites W2963125462 @default.
• W2944731686 cites W2963160102 @default.
• W2944731686 cites W2963607100 @default.
• W2944731686 cites W2997473097 @default.
• W2944731686 cites W3031032747 @default.
• W2944731686 cites W3037477934 @default.
• W2944731686 cites W3037779091 @default.
• W2944731686 doi "https://doi.org/10.23638/lmcs-17(1:10)2021" @default.
• W2944731686 hasPublicationYear "2021" @default.
• W2944731686 type Work @default.
• W2944731686 sameAs 2944731686 @default.
• W2944731686 citedByCount "0" @default.
• W2944731686 crossrefType "journal-article" @default.
• W2944731686 hasAuthorship W2944731686A5006324090 @default.
• W2944731686 hasAuthorship W2944731686A5029172336 @default.
• W2944731686 hasAuthorship W2944731686A5080555605 @default.
• W2944731686 hasBestOaLocation W29447316862 @default.
• W2944731686 hasConcept C102234262 @default.
• W2944731686 hasConcept C111472728 @default.
• W2944731686 hasConcept C134306372 @default.
• W2944731686 hasConcept C138885662 @default.
• W2944731686 hasConcept C144237770 @default.
• W2944731686 hasConcept C162324750 @default.
• W2944731686 hasConcept C175444787 @default.
• W2944731686 hasConcept C177142836 @default.
• W2944731686 hasConcept C189950617 @default.
• W2944731686 hasConcept C202556891 @default.
• W2944731686 hasConcept C33923547 @default.
• W2944731686 hasConcept C38652104 @default.
• W2944731686 hasConcept C41008148 @default.
• W2944731686 hasConcept C48145219 @default.
• W2944731686 hasConcept C58468513 @default.
• W2944731686 hasConcept C9233905 @default.
• W2944731686 hasConceptScore W2944731686C102234262 @default.
• W2944731686 hasConceptScore W2944731686C111472728 @default.
• W2944731686 hasConceptScore W2944731686C134306372 @default.
• W2944731686 hasConceptScore W2944731686C138885662 @default.
• W2944731686 hasConceptScore W2944731686C144237770 @default.
• W2944731686 hasConceptScore W2944731686C162324750 @default.
• W2944731686 hasConceptScore W2944731686C175444787 @default.
• W2944731686 hasConceptScore W2944731686C177142836 @default.
• W2944731686 hasConceptScore W2944731686C189950617 @default.
• W2944731686 hasConceptScore W2944731686C202556891 @default.
• W2944731686 hasConceptScore W2944731686C33923547 @default.
• W2944731686 hasConceptScore W2944731686C38652104 @default.
• W2944731686 hasConceptScore W2944731686C41008148 @default.
• W2944731686 hasConceptScore W2944731686C48145219 @default.
• W2944731686 hasConceptScore W2944731686C58468513 @default.
• W2944731686 hasConceptScore W2944731686C9233905 @default.
• W2944731686 hasLocation W29447316861 @default.
• W2944731686 hasLocation W29447316862 @default.
• W2944731686 hasLocation W29447316863 @default.
• W2944731686 hasOpenAccess W2944731686 @default.
• W2944731686 hasPrimaryLocation W29447316861 @default.
• W2944731686 hasRelatedWork W158006475 @default.
• W2944731686 hasRelatedWork W2039104542 @default.
• W2944731686 hasRelatedWork W2276575217 @default.
• W2944731686 hasRelatedWork W2944731686 @default.
• W2944731686 hasRelatedWork W2964073379 @default.
• W2944731686 hasRelatedWork W2970511564 @default.
• W2944731686 hasRelatedWork W3021991269 @default.
• W2944731686 hasRelatedWork W3139383627 @default.
• W2944731686 hasRelatedWork W3141389738 @default.
• W2944731686 hasRelatedWork W3194882106 @default.

• next