Sebastian Junges
|
789b836f87
|
simulator support for nondeterministic models
|
5 years ago |
|
Sebastian Junges
|
69cdae39a3
|
nr available actions
|
5 years ago |
|
Sebastian Junges
|
c1ef0845d7
|
Merge branch 'master' into modelsimulator
|
5 years ago |
|
Sebastian Junges
|
00f8f148dd
|
Better documentation
|
5 years ago |
|
Sebastian Junges
|
06f3d59e48
|
simulator: check if in sink state, and set to program level observations
|
5 years ago |
|
Sebastian Junges
|
5d41f02e16
|
state valuations.get_state() by reference, and simple valuations __str__ now only has optional arguments
|
5 years ago |
|
Sebastian Junges
|
c3959267c2
|
model.is_sink_state(state)
|
5 years ago |
|
Sebastian Junges
|
38189e7004
|
first version of a model simulator
|
5 years ago |
Philipp Schröer
|
e30b7da2e9
|
StateGenerator: add simulate function
|
5 years ago |
|
Sebastian Junges
|
81703b7851
|
flags for: a model is discrete_time, a model is nondeterministic
|
5 years ago |
|
Philipp Schröer
|
620d2e4094
|
StateGenerator: update test
|
5 years ago |
Philipp Schröer
|
45c6415eaa
|
StateGenerator: expose choice origins
|
5 years ago |
Tim Quatmann
|
3531da5424
|
Jani: Added new fields of InformationObject.
|
5 years ago |
|
Tim Quatmann
|
86b7c033f0
|
Adapted jani bindings to changes in Storm
|
5 years ago |
Matthias Volk
|
5ae552ee59
|
Minor improvements
|
5 years ago |
|
Matthias Volk
|
78c5ccb2b1
|
Adapted tests to changes in storm
|
5 years ago |
|
Matthias Volk
|
1a8ec096bc
|
Use header file for all environments
|
5 years ago |
|
Matthias Volk
|
b14ec6fc40
|
Add installation step for pytest in doc
|
5 years ago |
|
Matthias Volk
|
049f614759
|
Disable deprecation warnings for now. Otherwise the pybind11 compilation output is too cluttered.
|
5 years ago |
|
Matthias Volk
|
d94317b17e
|
Enable function signatures in documentation by default
|
5 years ago |
|
Matthias Volk
|
2df513f66e
|
Updated documentation for new releases
|
5 years ago |
|
Matthias Volk
|
27fbfa6e52
|
Increased required Storm version
|
5 years ago |
|
Matthias Volk
|
ae036cfad5
|
Adapted state space sizes in tests as Storm improvements lead to smaller models
|
5 years ago |
Sebastian Junges
|
2ac4805554
|
added options for the DRN parser, reflects recent changes in storm
|
5 years ago |
|
Sebastian Junges
|
d8c4bca6a7
|
added jani collector bindings
|
5 years ago |
|
Matthias Volk
|
106e1146b6
|
Bindings for elimination of chains of non-Markovian states
|
5 years ago |
|
Matthias Volk
|
5a61c88b6d
|
Tests for scheduler application and MA->CTMC translation
|
5 years ago |
|
Matthias Volk
|
9e31a5b83a
|
Fixed __str__ of models
|
5 years ago |
|
Sebastian Junges
|
7ae4d0806e
|
expression conjucntion and disjunction
|
5 years ago |
|
Matthias Volk
|
1e7a1e171f
|
Updated CHANGELOG
|
5 years ago |
|
Matthias Volk
|
232a5c8dc4
|
Fixed missing import
|
5 years ago |
|
Sebastian Junges
|
cc24dbcd88
|
latest release badge
|
5 years ago |
|
Sebastian Junges
|
5ebb83b1ea
|
new stormpy version 1.4.1
|
5 years ago |
|
Sebastian Junges
|
c2f86067d8
|
license GPLv3, as storm is also under that license
|
5 years ago |
|
Sebastian Junges
|
da97ba1590
|
a bit better examples
|
5 years ago |
|
Sebastian Junges
|
74fa68bbcd
|
updated changelog
|
5 years ago |
|
Matthias Volk
|
f1ec4763c8
|
Require Storm version 1.4.1
|
5 years ago |
|
Matthias Volk
|
1bbf1f108e
|
Adaption to changes in Storm
|
5 years ago |
|
Sebastian Junges
|
300902a5cd
|
support for getting results for a particular state with symbolic model checking
|
5 years ago |
|
Sebastian Junges
|
1ff8ba5fe5
|
Renamed classes for PrismVariables from Prism_Variable to PrismVariable etc.
|
5 years ago |
|
Sebastian Junges
|
d1c3be5dba
|
slightly awkward example to change probabilities
|
5 years ago |
|
Sebastian Junges
|
8589e9be9c
|
Added missing file that illustrates some ways to explore parametric models
|
5 years ago |
|
Sebastian Junges
|
8a4e964ed9
|
updated changelog to reflect latest changes
|
5 years ago |
|
Sebastian Junges
|
dff5e65b93
|
new information on using different model checking techniques
|
5 years ago |
|
Sebastian Junges
|
64ec557309
|
stormpy.model_checking(...) now supports both sparse and dd based models.
|
5 years ago |
|
Sebastian Junges
|
fbff51a096
|
check whether the model is sparse or symbolic represented
|
5 years ago |
|
Sebastian Junges
|
2f8c8c6be9
|
topological sort added to examples
|
5 years ago |
|
Sebastian Junges
|
3f06963172
|
extended description of changing model checking environments
|
5 years ago |
|
Sebastian Junges
|
52b88c3710
|
A new example showing that one can change the analysis method
|
5 years ago |
|
Sebastian Junges
|
feb279c7d1
|
Environment extended to select the model checking algorithm for Markov chains
|
5 years ago |
