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

DOI10.4230/LIPIcs.CONCUR.2018.11OpenAlexW2963130003MaRDI QIDQ5009424

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

Publication date: 4 August 2021

Full work available at URL: https://arxiv.org/abs/1806.03108

zbMATH Keywords

quantitative verificationmean-payoff gamescrypto-currency

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Assessing security of cryptocurrencies with attack-defense trees: proof of concept and future directions

Cites Work

• Unnamed Item
• Assume-guarantee synthesis for digital contract signing
• Stochastic limit-average games are in EXPTIME
• Quantitative analysis of smart contracts
• Quantitative Interprocedural Analysis
• Majority Is Not Enough: Bitcoin Mining Is Vulnerable
• Better Quality in Synthesis through Quantitative Objectives
• Pareto Curves for Probabilistic Model Checking
• The Complexity of Ergodic Mean-payoff Games
• Probabilistic Model Checking for Energy-Utility Analysis
• Exact algorithms for solving stochastic games
• On Nonterminating Stochastic Games
• The Big Match
• Stochastic Games
• Stochastic games

This page was built for publication: Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies