The Finite Satisfiability Problem for PCTL is Undecidable

• Autoři: CHODIL Miroslav; KUČERA Antonín
• Rok publikování: 2024
• Druh: Článek ve sborníku
• Konference: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science
• Fakulta / Pracoviště MU: Fakulta informatiky
• www: https://dl.acm.org/doi/abs/10.1145/3661814.3662145
• Doi: http://dx.doi.org/10.1145/3661814.3662145

Související projekty

• Efektivní analýza a optimalizace pravděpodobnostních systémů a her
• Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 24
• Modelování, analýza a verifikace (2024)