The satisfiability problem for a quantitative fragment of PCTL

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, 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	http://dx.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)