DOI,IST REx ID,Research Group,Title of publication
10.4230/LIPIcs.CONCUR.2018.11,66,KrCh,Ergodic mean-payoff games for the analysis of attacks in crypto-currencies