Sebastian Junges
|
aa871ae5c7
|
access reward models in the prism file
|
4 years ago |
|
Sebastian Junges
|
0a6ff87fe2
|
simplify expressions
|
4 years ago |
|
Sebastian Junges
|
bb18af75b6
|
add initial support for dds
|
4 years ago |
Matthias Volk
|
5cb06f2ee9
|
Bindings for symmetries in DFTs
|
4 years ago |
|
Matthias Volk
|
10c26106c8
|
Bindings for DFT elements and modularisation
|
4 years ago |
|
Sebastian Junges
|
28dc5ddb4b
|
simulator presents rewards in step and restart function
|
4 years ago |
|
Sebastian Junges
|
62c35f5a7d
|
more operators on prism models
|
5 years ago |
|
Sebastian Junges
|
d9e0a9ac92
|
compute the depth of the model, i.e., the longest shortest path from an initial state
|
5 years ago |
|
Sebastian Junges
|
d29d12cb44
|
convenience operators on formulas
|
5 years ago |
|
Sebastian Junges
|
d0da169f7e
|
better comments in the simulator
|
5 years ago |
|
Matthias Volk
|
72de6872ea
|
Config flag whether xerces-c is available in Storm
|
5 years ago |
|
Matthias Volk
|
d63c5dcece
|
Stormpy is incompatible with latest stable Storm version again
|
5 years ago |
|
Matthias Volk
|
36e3b53ad5
|
Travis: use latest stable Storm version
|
5 years ago |
|
Sebastian Junges
|
5d3319dfea
|
simulator: action mode global names for MDPs
|
5 years ago |
|
Sebastian Junges
|
8ed76f5feb
|
fix has_choice_labelling(), which did not return anything
|
5 years ago |
|
Sebastian Junges
|
83640fc444
|
Constant -> PrismConstant for more consistent naming
|
5 years ago |
|
Sebastian Junges
|
2bbe7e7e60
|
renames in storm
|
5 years ago |
|
Matthias Volk
|
45d8d978f4
|
Stormpy version 1.6.0
|
5 years ago |
|
Matthias Volk
|
7015a4c012
|
Default parameters for BuilderOptions
|
5 years ago |
Tim Quatmann
|
0cb3f0cee8
|
Adaptions due to recently introduced storm-version-info library
|
5 years ago |
|
Sebastian Junges
|
2a78ec14a7
|
recent change in qualitative analysis now also realised in stormpy
|
5 years ago |
|
Sebastian Junges
|
ec2cf86e20
|
added optimistic value iteration to the environments
|
5 years ago |
|
Matthias Volk
|
9a1656eb6f
|
Changed expected output for POMDP exploration example
|
5 years ago |
|
Matthias Volk
|
bf32cbb94b
|
Return json encoding of state valuations in simulator after changes in Storm
|
5 years ago |
|
Matthias Volk
|
b13e842986
|
Further adoption to Storm changes in state valuations
|
5 years ago |
|
Sebastian Junges
|
2efc80f595
|
new statevaluation interface
|
5 years ago |
|
Sebastian Junges
|
f009ed1f9f
|
Merge branch 'master' into almostsurepomdp
|
5 years ago |
|
Sebastian Junges
|
80f044cc49
|
dft tests should be disabled if no dft support is given
|
5 years ago |
|
Sebastian Junges
|
886718bdb2
|
state generation via stormpy is broken. to avoid compilation problems, this is disabled for now
|
5 years ago |
|
Sebastian Junges
|
4c3f98ab6c
|
graph-preprocessing on the pomdp
|
5 years ago |
|
Matthias Volk
|
eeffca7df5
|
Small revision for MatrixBuilder
|
5 years ago |
|
Matthias Volk
|
105d9c40b5
|
Skip tests if numpy is not available
|
5 years ago |
hannah
|
e5a15eac6e
|
Parametric sparse matrix builder and tests
|
5 years ago |
|
hannah
|
bfce55912d
|
added tests
|
5 years ago |
|
hannah
|
b3d99eae89
|
convert numpy to SparseMatrix, tests
|
5 years ago |
|
hannah
|
2059add7cd
|
SparseMatrixBuilder class
|
5 years ago |
|
Matthias Volk
|
e2e7919427
|
Fixed links in GSPN doc
|
5 years ago |
|
Matthias Volk
|
42d2f1be01
|
Small revision in GSPN doc
|
5 years ago |
|
Matthias Volk
|
80787fb3d8
|
Consistently use Python naming scheme
|
5 years ago |
|
hannah
|
efabfd0cbe
|
completed documentation and added some testcases
|
5 years ago |
|
hannah
|
c076609c34
|
small correction in gspn doc
|
5 years ago |
|
hannah
|
c014234e77
|
added content to the gspn documentation
|
5 years ago |
|
hannah
|
339781db4a
|
created gspn example
|
5 years ago |
|
hannah
|
42e0774d83
|
documentation for gspn bindings
|
5 years ago |
|
hannah
|
019c8ba912
|
added missing Transition class methods
|
5 years ago |
|
Matthias Volk
|
27546c7918
|
Simplified some assertions
|
5 years ago |
|
hannah
|
9a74d83079
|
added remaining tests
|
5 years ago |
|
Matthias Volk
|
2eec1828c1
|
GSPNs methods using boost::optional are working after fix in Storm
|
5 years ago |
|
hannah
|
3c71a4b04a
|
added some tests
|
5 years ago |
|
hannah
|
b5cb9d71ee
|
added GSPNParser class for gspn import and missing GSPN class methods
|
5 years ago |
