Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge

Varování

Publikace nespadá pod Pedagogickou 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:	Efektivní analýza a optimalizace pravděpodobnostních systémů a her Rozsáhlé výpočetní systémy: modely, aplikace a verifikace XI.