J 2024

The Satisfiability Problem for a Quantitative Fragment of PCTL

CHODIL, Miroslav a Antonín KUČERA

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

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í

Odkazy

Impakt faktor

Impact factor: 1.100 v roce 2022

Organizační jednotka

Fakulta informatiky

DOI

UT WoS

001097220800001

Klíčová slova anglicky

probabilistic temporal logics; satisfiability

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 18. 10. 2024 10:23, RNDr. Miroslav Chodil

Anotace

V originále

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)
MUNI/A/1592/2023, interní kód MU
Název: Modelování, analýza a verifikace (2024)
Investor: Masarykova univerzita, Modelování, analýza a verifikace (2024)
MUNI/A/1608/2023, interní kód MU
Název: Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 24
Investor: Masarykova univerzita, Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 24