TY  - RPRT
TI  - Strong Invariants Are Hard: On the Hardness of Strongest Polynomial Invariants for (Probabilistic) Programs
AU  - Julian Müllner
AU  - Marcel Moosbrugger
AU  - Laura Kovács
PY  - 2023
DO  - 10.1145/3632872
UR  - https://arxiv.org/abs/2307.10902
ID  - 2307.10902
ER  -