Game theory

Eiffel: Extending Formal Verification of Distributed Algorithms to Utility Analysis
This paper explores the use of TLA+ to verify game theoretic properties like Nash equilibria.
PDF Cite Project DOI
Rebop: Reputation-Based Incentives in Committee-Based Blockchains
Blockchains based on proof-of-work suffer from serious draw- backs, such as high computational overhead, long confirmation time, and …
PDF Cite Project Project DOI