The Satisfiability Problem for a Quantitative Fragment of PCTL

CHODIL, Miroslav a Antonín KUČERA. The Satisfiability Problem for a Quantitative Fragment of PCTL. Journal of Computer and System Sciences. Elsevier, 2024. ISSN 0022-0000. Dostupné z: https://dx.doi.org/10.1016/j.jcss.2023.103478.

Základní údaje

• Originální název: The Satisfiability Problem for a Quantitative Fragment of PCTL
• Autoři: CHODIL, Miroslav a Antonín KUČERA.
• Vydání: Journal of Computer and System Sciences, Elsevier, 2024, 0022-0000.

Další údaje

• Originální jazyk: angličtina
• Typ výsledku: Článek v odborném periodiku
• Obor: 10201 Computer sciences, information science, bioinformatics
• Stát vydavatele: Spojené státy
• Utajení: není předmětem státního či obchodního tajemství
• Impakt faktor: Impact factor: 1.100 v roce 2022
• Organizační jednotka: Fakulta informatiky
• Doi: http://dx.doi.org/10.1016/j.jcss.2023.103478
• Klíčová slova anglicky: probabilistic temporal logics; satisfiability
• Příznaky: Mezinárodní význam, Recenzováno

Anotace

We propose a generic method for proving the decidability of the finite satisfiability problem for PCTL fragments. The applicability of our method is demonstrated in several non-trivial examples.

Návaznosti

• GA21-24711S, projekt VaV: Název: Efektivní analýza a optimalizace pravděpodobnostních systémů a her (Akronym: Efektivní analýza a optimalizace pravděpodobnostní)

Investor: Grantová agentura ČR, Efektivní analýza a optimalizace pravděpodobnostních systémů a her

• MUNI/A/1081/2022, interní kód MU: Název: Modelování, analýza a verifikace (2023)

Investor: Masarykova univerzita, Modelování, analýza a verifikace (2023)