_id,doi,title
66,10.4230/LIPIcs.CONCUR.2018.11,Ergodic mean-payoff games for the analysis of attacks in crypto-currencies