J 2024

The Satisfiability Problem for a Quantitative Fragment of PCTL

CHODIL, Miroslav and Antonín KUČERA

Basic information

Original name

The Satisfiability Problem for a Quantitative Fragment of PCTL

Authors

CHODIL, Miroslav and Antonín KUČERA

Edition

Journal of Computer and System Sciences, Elsevier, 2024, 0022-0000

Other information

Language

English

Type of outcome

Článek v odborném periodiku

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

United States of America

Confidentiality degree

není předmětem státního či obchodního tajemství

References:

Elsevier

Impact factor

Impact factor: 1.100 in 2022

Organization unit

Faculty of Informatics

DOI

http://dx.doi.org/10.1016/j.jcss.2023.103478

UT WoS

001097220800001

Keywords in English

probabilistic temporal logics; satisfiability

Tags

International impact, Reviewed
Změněno: 18/10/2024 10:23, RNDr. Miroslav Chodil

Abstract

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.

Links

GA21-24711S, research and development project
Name: Efektivní analýza a optimalizace pravděpodobnostních systémů a her (Acronym: Efektivní analýza a optimalizace pravděpodobnostní)
Investor: Czech Science Foundation
MUNI/A/1081/2022, interní kód MU
Name: Modelování, analýza a verifikace (2023)
Investor: Masaryk University
MUNI/A/1592/2023, interní kód MU
Name: Modelování, analýza a verifikace (2024)
Investor: Masaryk University, Modeling, analysis, and verification (2024)
MUNI/A/1608/2023, interní kód MU
Name: Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 24
Investor: Masaryk University
Displayed: 11/11/2024 11:55