Approximating Fixpoints of Approximated Functions.

Paolo Baldan, Sebastian Gurke, Barbara Knig, Tommaso Padoan, Florian Wittbold

Browse the full CAV paper archive.