Verified Learning Without Regret - From Algorithmic Game Theory to Distributed Systems with Mechanized Complexity Guarantees.
Samuel MertenAlexander BagnallGordon StewartPublished in: ESOP (2018)
Keyphrases
- distributed systems
- game theory
- multi agent learning
- cooperative
- online learning
- learning algorithm
- game theoretic
- geographically distributed
- load balancing
- distributed computing
- distributed environment
- fault tolerant
- multi agent systems
- real time systems
- bayesian networks
- nash equilibrium
- machine learning
- lower bound
- message passing
- fault tolerance
- multi agent
- resource allocation
- dynamic environments
- computational complexity
- worst case