Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies.

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Yaron Velner

Browse the full CONCUR paper archive.