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 (703 Slovensko, domácí) a Antonín KUČERA (203 Česká republika, garant, domácí)

Vydání

Journal of Computer and System Sciences, SAN DIEGO, 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

Satisfiability; Probabilistic temporal logics; PCTL

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 18. 11. 2024 12:50, prof. RNDr. Antonín Kučera, Ph.D.

Anotace

V originále

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.

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