Computing Fixpoints of Learned Functions: Chaotic Iteration and Simple Stochastic Games

Paolo Baldan, Sebastian Gurke, Barbara König +1

The problem of determining the (least) fixpoint of (higher-dimensional) functions over the non-negative reals frequently occurs when dealing with systems endowed with a quantitativ…