The satisfiability problem for a quantitative fragment of PCTL

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Autoři	CHODIL Miroslav KUČERA Antonín
Rok publikování	2024
Druh	Článek v odborném periodiku
Časopis / Zdroj	Journal of Computer and System Sciences
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
www	Elsevier
Doi	https://doi.org/10.1016/j.jcss.2023.103478
Klíčová slova	Satisfiability; Probabilistic temporal logics; PCTL
Popis	We propose a generic method for proving the decidability of the finite satisfiability problem for PCTL fragments and demonstrate its applicability in several non-trivial examples.(c) 2023 Elsevier Inc. All rights reserved.
Související projekty:	Efektivní analýza a optimalizace pravděpodobnostních systémů a her Modelování, analýza a verifikace (2023) Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 24 Modelování, analýza a verifikace (2024)