The Finite Satisfiability Problem for PCTL is Undecidable

Open Webpage

Miroslav Chodil, Antonín Kucera

Published: 01 Jan 2024, Last Modified: 23 Jul 2025LICS 2024EveryoneRevisionsBibTeXCC BY-SA 4.0