Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge

CHODIL, Miroslav, Antonín KUČERA a Jan KŘETÍNSKÝ. Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge. In Jean-Francois Raskin, Krishnendu Chatterjee, Laurent Doyen, and Rupak Majumdar. Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday. New York, NY, United States: Springer, 2022, s. 364-387. ISBN 978-3-031-22336-5. Dostupné z: https://dx.doi.org/10.1007/978-3-031-22337-2_18.

Základní údaje

Originální název

Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge

Autoři

CHODIL, Miroslav (703 Slovensko, domácí), Antonín KUČERA (203 Česká republika, garant, domácí) a Jan KŘETÍNSKÝ (203 Česká republika, domácí)

Vydání

New York, NY, United States, Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, od s. 364-387, 24 s. 2022

Nakladatel

Springer

---

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

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í

Forma vydání

tištěná verze "print"

Odkazy

The book URL.

Impakt faktor

Impact factor: 0.402 v roce 2005

Kód RIV

RIV/00216224:14330/22:00127926

Organizační jednotka

Fakulta informatiky

ISBN

978-3-031-22336-5

ISSN

DOI

http://dx.doi.org/10.1007/978-3-031-22337-2_18

Klíčová slova anglicky

probabilistic logics; satisfiablity

---

Anotace

V originále

The decidability of PCTL satisfiability is a challenging open problem in logic and formal verification. We give an overview of the existing results and proof techniques, and we also present some new results documenting the subtlety of the problem.

---

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/1145/2021, interní kód MU	Název: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace XI. (Akronym: SV-FI MAV XI.) Investor: Masarykova univerzita, Rozsáhlé výpočetní systémy: modely, aplikace a verifikace XI.