1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
|
@book{BK,
title={Principles of Model Checking},
author={Baier, Christel and Katoen, Joost-Pieter},
publisher={The MIT Press},
address={Cambridge, Massachusetts and London, England},
year=2008
}
@article{Bartocci2011,
title={Model Repair for Probabilistic Systems},
author={Bartocci, Ezio and Grosu, Radu and Katsaros, Panagiotis and Ramakrishnan, C. R. and Smolka, Scott A.},
booktitle={Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2011},
editor={Abdulla, P. A. and Leino, K. R. M.},
series={Lecture Notes in Computer Science},
number=6605,
publisher={Springer},
address={Berlin and Heidelberg},
year=2011,
pages={326--340}
}
@inbook{KnuthYao1976,
author={Knuth, Donald E. and Yao, Andrew C.},
title={Algorithms and Complexity: New Directions and Recent Results},
chapter={The complexity of nonuniform random number generation},
publisher={Academic Press},
year=1976
}
@inproceedings{Storm,
title={A Storm is Coming: A Modern Probabilistic Model Checker},
author={Dehnert, Christian and Junges, Sebastian and Katoen, Joost-Pieter and Volk, Matthias},
booktitle={Computer Aided Verification. CAV 2017},
editor={Majumdar, R. and Kun\v{c}ak, V.},
pages={592--600},
series={Lecture Notes in Computer Science},
number=10427,
publisher={Springer},
address={Cham},
year=2017
}
@inproceedings{Z3,
title={Z3: An Efficient SMT Solver},
author={{de Moura}, Leonardo and Bj{\o}rner, Nikolaj},
booktitle={Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2008},
editor={Ramakrishnan, C. R. and Rehof, J.},
pages={337--340},
series={Lecture Notes in Computer Science},
number=4963,
publisher={Springer},
address={Berlin, Heidelberg},
year=2008
}
|
