Other formats:
BibTeX
LaTeX
RIS
@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 = {http://dx.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 - JOUR
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 and 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, p.~364-387. ISBN~978-3-031-22336-5. Available from: https://dx.doi.org/10.1007/978-3-031-22337-2\_{}18.
|
