An Agda Formalization of Üresin and Dubois' Asynchronous Fixed-Point Theory.

Ran Zmigrod Matthew L. Daggitt Timothy G. Griffin

Published in: ITP (2018)

Keyphrases

fixed point
sufficient conditions
dynamical systems
variational inequalities
fixed point theorem
floating point
image sequences
relational databases
probability distribution
policy iteration
free energy
bargaining solution