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

Paolo Baldan, Sebastian Gurke, Barbara Knig, Florian Wittbold

Browse the full TACAS paper archive.