A Relaxation of Üresin and Dubois' Asynchronous Fixed-Point Theory in Agda.

Matthew L. Daggitt Ran Zmigrod Timothy G. Griffin

Published in: J. Autom. Reason. (2020)

Keyphrases

fixed point
sufficient conditions
dynamical systems
floating point
variational inequalities
constraint databases
fixed point theorem
bargaining solution
learning algorithm
pairwise
belief propagation
free energy