Satisfiability of Quantitative Probabilistic CTL: Rise to the
Challenge

D 2022

Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge

CHODIL, Miroslav; Antonín KUČERA a Jan KŘETÍNSKÝ

Základní údaje

Originální název

Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge

Autoři

CHODIL, Miroslav; Antonín KUČERA a Jan KŘETÍNSKÝ

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

Označené pro přenos do RIV

Ano

Kód RIV

RIV/00216224:14330/22:00127926

Organizační jednotka

Fakulta informatiky

ISBN

978-3-031-22336-5

ISSN

DOI

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

EID Scopus

2-s2.0-85145665467

Klíčová slova anglicky

probabilistic logics; satisfiablity

Změněno: 6. 4. 2023 06:35, RNDr. Pavel Šmerk, Ph.D.

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.

Citovat

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://doi.org/10.1007/978-3-031-22337-2_18.

@inproceedings{2245876,
   author = {Chodil, Miroslav and Kučera, Antonín and Křetínský, Jan},
   address = {New York, NY, United States},
   booktitle = {Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday},
   doi = {https://doi.org/10.1007/978-3-031-22337-2_18},
   editor = {Jean-Francois Raskin, Krishnendu Chatterjee, Laurent Doyen, and Rupak Majumdar},
   keywords = {probabilistic logics; satisfiablity},
   howpublished = {tištěná verze "print"},
   language = {eng},
   location = {New York, NY, United States},
   isbn = {978-3-031-22336-5},
   pages = {364-387},
   publisher = {Springer},
   title = {Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge},
   url = {https://doi.org/10.1007/978-3-031-22337-2},
   year = {2022}
}

TY  - CONF
ID  - 2245876
AU  - Chodil, Miroslav - Kučera, Antonín - Křetínský, Jan
PY  - 2022
TI  - Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge
PB  - Springer
CY  - New York, NY, United States
SN  - 9783031223365
KW  - probabilistic logics
KW  - satisfiablity
UR  - https://doi.org/10.1007/978-3-031-22337-2
N2  - 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.
ER  -

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. \textit{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://doi.org/10.1007/978-3-031-22337-2\_{}18.

Přehled o publikaci