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
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
|
@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
}
@inproceedings{DeVries2007,
title={Uniqueness Typing Redefined},
author={{De Vries}, Edsko and Plasmeijer, Rinus and Abrahamson, David R.},
booktitle={Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL '06},
editor={Horv\'{a}th, Z. and Zs\'{o}k, V.},
pages={181--198},
series={Lecture Notes in Computer Science},
number=4449,
publisher={Springer},
address={Berlin, Heidelberg},
year=2007
}
@inproceedings{Dehnert2015,
title={\texttt{PROPhESY}: A PRObabilistic ParamEter SYnthesis Tool},
author={Dehnert, Christian and Junges, Sebastian and Jansen, Nils and Corzilius, Florian and Volk, Matthias and Bruintjes, Harold and Katoen, Joost-Pieter and \'{A}brah\'{a}m, Erika},
booktitle={Computer Aided Verification. CAV 2015},
editor={Kroening, D. and P\v{a}s\v{a}reanu, C.},
pages={181--198},
series={Lecture Notes in Computer Science},
number=9206,
publisher={Springer},
address={Cham},
year=2015
}
|
