@inproceedings{cfolf-tacas-26,
  author    = {Paolo Baldan and Sebastian Gurke and Barbara K{\"{o}}nig and Florian Wittbold},
  title     = {Computing Fixpoints of Learned Functions: Chaotic Iteration and Simple Stochastic Games},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 32nd International Conference, {TACAS} 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, {ETAPS} 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part {I}},
  year      = {2026},
  publisher = {Springer},
  editor    = {Sebastian Junges and Guy Katz},
  series    = {Lecture Notes in Computer Science},
  volume    = {16505},
  pages     = {547--565},
  url       = {https://doi.org/10.1007/978-3-032-22752-2\_28},
  doi       = {10.1007/978-3-032-22752-2\_28},
}