@inproceedings{afoaf-cav-25,
  author    = {Paolo Baldan and Sebastian Gurke and Barbara K{\"{o}}nig and Tommaso Padoan and Florian Wittbold},
  title     = {Approximating Fixpoints of Approximated Functions},
  booktitle = {Computer Aided Verification - 37th International Conference, {CAV} 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part {II}},
  year      = {2025},
  publisher = {Springer},
  editor    = {Ruzica Piskac and Zvonimir Rakamaric},
  series    = {Lecture Notes in Computer Science},
  volume    = {15932},
  pages     = {193--215},
  url       = {https://doi.org/10.1007/978-3-031-98679-6\_9},
  doi       = {10.1007/978-3-031-98679-6\_9},
}