|
|
@ -0,0 +1,19 @@ |
|
|
|
************** |
|
|
|
Contributors |
|
|
|
************** |
|
|
|
|
|
|
|
Stormpy is an extension to storm. As a consequence, developers of storm contributed significantly to the functionality offered by these Python bindings. |
|
|
|
|
|
|
|
The bindings themselves have been developed by (lexicographically ordered): |
|
|
|
* Sebastian Junges |
|
|
|
* Matthias Volk |
|
|
|
|
|
|
|
and received significant contributions by (lexicographically ordered): |
|
|
|
* Tom Janson |
|
|
|
|
|
|
|
We would like to thank Harold Bruintjes for the initial development of the pycarl bindings. |
|
|
|
|
|
|
|
Furthermore, the following list of people helped us to develop stormpy (in chronological order): |
|
|
|
* Nils Jansen (early adoption, feedback) |
|
|
|
* Murat Cubuktepe (early adoption, feedback) |
|
|
|
|