Amir Goharshady
Amir Goharshady
Home
Publications
CV
Personal
Light
Dark
Automatic
Ergodic Mean-payoff Games for the Analysis of Attacks in Cryptocurrencies
Krishnendu Chatterjee
,
Amir Kafshdar Goharshady
,
Rasmus Ibsen-Jensen
,
Yaron Velner
September 2018
PDF
Published version
Slides
Type
Conference paper
Publication
International Conference on Concurrency Theory (CONCUR)
Cite
×