@misc{indiciaebb5172e3b77a,
  title = {Strong Invariants Are Hard: On the Hardness of Strongest Polynomial Invariants for (Probabilistic) Programs},
  author = {Julian Müllner and Marcel Moosbrugger and Laura Kovács},
  year = {2023},
  doi = {10.1145/3632872},
  url = {https://arxiv.org/abs/2307.10902},
  note = {Source identifier: 2307.10902}
}