The Fixed Point Problem for General and for Linear SRL Programs is Undecidable.

Armando B. Matos Luca Paolini Luca Roversi

Published in: ICTCS (2018)

Keyphrases

fixed point
sufficient conditions
floating point
dynamical systems
policy iteration
computer vision
high quality
relational databases
np complete
fixed point theorem
boundary conditions
free energy
bargaining solution