Stop Gambling! It Just Takes Too Long

Sascha KlüppelholzSascha Klüppelholz, Jakob PiribauerJakob Piribauer

DOI Link

Sascha Klüppelholz, Jakob Piribauer
Stop Gambling! It Just Takes Too Long
In Nathalie Bertrand, Clemens Dubslaff, Sascha Klüppelholz, eds., Principles of Formal Quantitative Analysis - Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday, volume 15760 of Lecture Notes in Computer Science, 139–157, 2025. Springer

Details
Bibtex

Projekt:Project: CPEC
Forschungsgruppe:Research Group: Algebraische und logische Grundlagen der InformatikAlgebraic and Logical Foundations of Computer Science

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-031-97439-7_6.

@inproceedings{KP2025,
  author    = {Sascha Kl{\"{u}}ppelholz and Jakob Piribauer},
  title     = {Stop Gambling! It Just Takes Too Long},
  editor    = {Nathalie Bertrand and Clemens Dubslaff and Sascha
               Kl{\"{u}}ppelholz},
  booktitle = {Principles of Formal Quantitative Analysis - Essays Dedicated to
               Christel Baier on the Occasion of Her 60th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {15760},
  publisher = {Springer},
  year      = {2025},
  pages     = {139{\textendash}157},
  doi       = {10.1007/978-3-031-97439-7_6}
}