The Satisfiability and Validity Problems for Probabilistic CTL

KUČERA, Antonín. The Satisfiability and Validity Problems for Probabilistic CTL. In 18th International Conference on Reachability Problems, RP 2024. Cham: Springer, 2024, s. 9-18. ISBN 978-3-031-72620-0. Dostupné z: https://doi.org/10.1007/978-3-031-72621-7_2.

Základní údaje

Originální název

The Satisfiability and Validity Problems for Probabilistic CTL

Autoři

KUČERA, Antonín

Vydání

Cham, 18th International Conference on Reachability Problems, RP 2024, od s. 9-18, 10 s. 2024

Nakladatel

Springer

---

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Švýcarsko

Utajení

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

Forma vydání

tištěná verze "print"

Impakt faktor

Impact factor: 0.402 v roce 2005

Označené pro přenos do RIV

Ano

Kód RIV

RIV/00216224:14330/24:00139282

Organizační jednotka

Fakulta informatiky

ISBN

978-3-031-72620-0

ISSN

DOI

https://doi.org/10.1007/978-3-031-72621-7_2

UT WoS

001329982700002

EID Scopus

2-s2.0-85205382789

Klíčová slova anglicky

Satisfiability; Probabilistic temporal logics; Probabilistic CTL

Příznaky

Mezinárodní význam, Recenzováno

---

Anotace

V originále

Probabilistic CTL is obtained from the standard CTL (Computational Tree Logic) by replacing the existential and universal path quantifiers with the probabilistic operator where the probability of runs satisfying a given path formula is bounded by a rational constant. We survey the existing results about the satisfiability and validity problems for probabilistic CTL, and we also present some of the underlying proof techniques.