Collaborated with:
A.Bagnall G.S.0001
Talks about:
distribut (1) algorithm (1) guarante (1) without (1) complex (1) verifi (1) theori (1) system (1) regret (1) mechan (1)
Person: Samuel Merten
DBLP: Merten:Samuel
Contributed to:
Wrote 1 papers:
- ESOP-2018-MertenBS #algorithm #complexity #distributed #game studies #learning
- Verified Learning Without Regret - From Algorithmic Game Theory to Distributed Systems with Mechanized Complexity Guarantees (SM, AB, GS0), pp. 561–588.