Verified Learning Without Regret - From Algorithmic Game Theory to Distributed Systems with Mechanized Complexity Guarantees.

Samuel Merten, Alexander Bagnall, Gordon Stewart

Browse the full ESOP paper archive.