Document Search Results

from until

Sorting

Found 2 Documents (Results 1–2)

Newest Citations Relevance

Gainer, Paul; Hahn, Ernst Moritz; Schewe, Sven

Incremental verification of parametric and reconfigurable Markov chains. (English) Zbl 1514.68133

McIver, Annabelle (ed.) et al., Quantitative evaluation of systems. 15th international conference, QEST 2018, Beijing, China, September 4–7, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11024, 140-156 (2018).

MSC: 68Q60 60J20 68Q87

Cite Review PDF

Full Text: DOI arXiv Link

Ferrer Fioriti, Luis María; Hahn, Ernst Moritz; Hermanns, Holger; Wachter, Björn

Variable probabilistic abstraction refinement. (English) Zbl 1374.68347

Chakraborty, Supratik (ed.) et al., Automated technology for verification and analysis. 10th international symposium, ATVA 2012, Thiruvananthapuram, India, October 3–6, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33385-9/pbk). Lecture Notes in Computer Science 7561, 300-316 (2012).

MSC: 68Q87 68N30 68Q45

Cite Review PDF

Full Text: DOI

Filter Results by …

all top 5

Author

Year of Publication

2018 (1)
2012 (1)

Main Field

68-XX (2)
60-XX (1)

all top 3

Software

PARAM (2)
PRISM (2)
CEGAR (1)
Storm (1)
iscasMc (1)