Login / Signup
Samuel Merten
ORCID
Publication Activity (10 Years)
Years Active: 2017-2018
Publications (10 Years): 4
Top Topics
Game Theory
Solution Concepts
Nash Equilibrium
Multi Agent Learning
Top Venues
PADL
J. Formaliz. Reason.
PODC
ESOP
</>
Publications
</>
Gordon Stewart
,
Samuel Merten
,
Logan Leland
Snårkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell.
PADL
(2018)
Samuel Merten
,
Alexander Bagnall
,
Gordon Stewart
Verified Learning Without Regret - From Algorithmic Game Theory to Distributed Systems with Mechanized Complexity Guarantees.
ESOP
(2018)
Alexander Bagnall
,
Samuel Merten
,
Gordon Stewart
Brief Announcement: Certified Multiplicative Weights Update: Verified Learning Without Regret.
PODC
(2017)
Alexander Bagnall
,
Samuel Merten
,
Gordon Stewart
A Library for Algorithmic Game Theory in Ssreflect/Coq.
J. Formaliz. Reason.
10 (1) (2017)