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.
|