20 citations · 62 across the 23 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.CR2018
Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies
Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen +1
Crypto-currencies are digital assets designed to work as a medium of exchange, e.g., Bitcoin, but they are susceptible to attacks (dishonest behavior of participants). A framework…
cs.GT2018
Infinite-Duration Poorman-Bidding Games
Guy Avni, Thomas A. Henzinger, Rasmus Ibsen-Jensen
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 fo…