Ergodic Mean-payoff Games for the Analysis of Attacks in Cryptocurrencies

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Yaron Velner
PDF Published version Slides
Type
Conference paper
Publication
International Conference on Concurrency Theory (CONCUR)