Verified Learning Without Regret

This publication has 30 references indexed in Scilit:

• Formal Verification of Distributed Algorithms
  2012
• On the Impact of Fair Best Response Dynamics
  2012
• Type classes for mathematics in type theory
  Mathematical Structures in Computer Science, 2011
• Dafny: An Automatic Program Verifier for Functional Correctness
  2010
• The Price of Anarchy in Supply Chains: Quantifying the Efficiency of Price-Only Contracts
  Management Science, 2007
• A Simple Adaptive Procedure Leading to Correlated Equilibrium
  Econometrica, 2000
• Calibrated Learning and Correlated Equilibrium
  Games and Economic Behavior, 1997
• Potential Games
  Games and Economic Behavior, 1996
• Non-Cooperative Games
  Annals of Mathematics, 1951
• Equilibrium points in n -person games
  Proceedings of the National Academy of Sciences, 1950