Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge

Logo poskytovatele

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Autoři

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

Rok publikování 2022
Druh Článek ve sborníku
Konference Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
www The book URL.
Doi http://dx.doi.org/10.1007/978-3-031-22337-2_18
Klíčová slova probabilistic logics; satisfiablity
Popis 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.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.