A Aralex Aachen research explorer

January 01, 2005 conference-paper Open access

Checking LTL properties of recursive Markov chains

International Conference on the Quantitative Evaluation of Systems (QEST)

DOI: 10.1109/qest.2005.8 Full text (OA) OpenAlex

Authors 0

Author list not loaded yet.

Cited by 4 stored of 43

Model Checking Temporal Properties of Recursive Probabilistic Programs
2023 Logical Methods in Computer Science article Computer Science Formal Methods in Verification Open access

4

citations
On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata
2023 Proceedings - Symposium on Logic in Computer Science conference-paper Computer Science Formal Methods in Verification

5

citations
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

6

citations
Model Checking Temporal Properties of Recursive Probabilistic Programs
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

9

citations

4 results

References 0