An efficient synthesis algorithm for parametric Markov chains against linear time properties
From MaRDI portal
Publication:1660783
DOI10.1007/978-3-319-47677-3_18zbMath1393.68107arXiv1605.04400OpenAlexW2401317753MaRDI QIDQ1660783
Yong Li, Wanwei Liu, Ernst Moritz Hahn, Andrea Turrini, Li-jun Zhang
Publication date: 16 August 2018
Full work available at URL: https://arxiv.org/abs/1605.04400
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (1)
This page was built for publication: An efficient synthesis algorithm for parametric Markov chains against linear time properties
