TY  - RPRT
TI  - The General and Finite Satisfiability Problems for PCTL are Undecidable
AU  - Miroslav Chodil
AU  - Antonín Kučera
PY  - 2024
UR  - https://arxiv.org/abs/2404.10648
ID  - 2404.10648
ER  -