Proving convergence of log-linear learning in potential games | IEEE Conference Publication | IEEE Xplore