Representing Continuous Functions between Greatest Fixed Points of Indexed Containers.

Pierre Hyvernat

Published in: Log. Methods Comput. Sci. (2021)

Keyphrases

fixed point
continuous functions
differential equations
dynamical systems
real valued
sufficient conditions
approximate value iteration
endpoints
linear logic
free energy
neural network
temporal difference learning