Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods.
Giancarlo BigiAndrea BraccialiGiovanni MeacciEmilio TuostoPublished in: Programming Languages with Applications to Biology and Security (2015)
Keyphrases
- game theory
- formal methods
- multi agent systems
- game theoretic
- cooperative
- nash equilibrium
- knowledge based systems
- model checking
- formal specification
- resource allocation
- software engineering
- artificial intelligence
- mechanism design
- nash equilibria
- safety critical
- multi agent learning
- statistical physics
- fictitious play
- financial crisis
- autonomous agents
- supply chain
- solution concepts
- decision theory
- expert systems
- development lifecycle