The satisfiability problem for a quantitative fragment of PCTL

• 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
• 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)