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
|
38189e7004
|
first version of a model simulator
|
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 |
|
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 |
|
Sebastian Junges
|
5ebb83b1ea
|
new stormpy version 1.4.1
|
5 years ago |
|
Sebastian Junges
|
64ec557309
|
stormpy.model_checking(...) now supports both sparse and dd based models.
|
5 years ago |
|
Sebastian Junges
|
1930a6d612
|
generic parse_properties for simpler code
|
5 years ago |
|
Sebastian Junges
|
61b68b521b
|
added example file for parametric brp
|
5 years ago |
|
Matthias Volk
|
e831ae36c5
|
Binding for preprocessing prism models
|
5 years ago |
|
Matthias Volk
|
0595ee1d64
|
Added documentation for MA scheduler extraction
|
6 years ago |
|
Matthias Volk
|
333804b208
|
Transformation from CTMCs to DTMCs
|
6 years ago |
|
Matthias Volk
|
7268fc1472
|
Set version in doc automatically
|
6 years ago |
|
Sebastian Junges
|
7c8110f38d
|
extra example file listed
|
6 years ago |
|
Sebastian Junges
|
bdff55242e
|
setting stormpy version to 1.3.0 in preparation of release
|
6 years ago |
|
Matthias Volk
|
af5872d633
|
Fixed conversion to raw_formula for properties
|
6 years ago |
|
Sebastian Junges
|
2e1f60a3c0
|
support for submodel construction
|
6 years ago |
|
Sebastian Junges
|
30f6b4395d
|
model checking routines take optional environment
|
6 years ago |
|
Sebastian Junges
|
5aab3cbe3e
|
support for properties and raw formulae in symbolic model creation
|
6 years ago |
|
Sebastian Junges
|
233bf8b2ba
|
some explanation for iterating over MDPs and POMDPs
|
6 years ago |
|
Sebastian Junges
|
9970aa391f
|
toposort bindings
|
6 years ago |
|
Sebastian Junges
|
b2b647203b
|
add pomdp support to stormpy
|
6 years ago |
|
Matthias Volk
|
8dfd0b4332
|
First part of DFT documentation
|
6 years ago |
|
Matthias Volk
|
a7cc7b3086
|
Extended bindings for DFT class
|
6 years ago |
|
Matthias Volk
|
d70f727c0b
|
Updated BRP Jani file
|
7 years ago |
|
Matthias Volk
|
054df185c0
|
Transformation from symbolic model to sparse model
|
7 years ago |
|
Matthias Volk
|
c30d5a1433
|
Symbolic bisimulation
|
7 years ago |
|
Matthias Volk
|
62f3d3630e
|
Bindings for dd and hybrid model checking
|
7 years ago |
|
Matthias Volk
|
f5a014ed5e
|
Bindings for symbolic model building
|
7 years ago |
|
Matthias Volk
|
cfb6dfbf2f
|
Better naming for sparse model building
|
7 years ago |
|
Matthias Volk
|
d9b020b1bc
|
Refactored sparse model bindings
|
7 years ago |
|
Matthias Volk
|
0b6dd8c0d8
|
Fix sphinx warning in comment
|
7 years ago |
|
Matthias Volk
|
da81f6cf1a
|
Raise ImportError when using python 2.x
|
7 years ago |
|
Matthias Volk
|
717fa454d2
|
Updated example drn file
|
7 years ago |
|
Sebastian Junges
|
11b2a219a7
|
support for extraction of schedulers
|
7 years ago |
|
Matthias Volk
|
0a8482d068
|
Computing model checking result only for inital states
|
7 years ago |
|
Sebastian Junges
|
326c64a953
|
reward models from drn files
|
7 years ago |
|
Matthias Volk
|
bcab426bd5
|
Added missing cases for CTMC and MA in model building
|
7 years ago |
|
Matthias Volk
|
6c729cabf7
|
New stormpy version 1.2.0
|
7 years ago |
|
Sebastian Junges
|
befecb4761
|
convenience functions for prob01 states
|
7 years ago |
|
Sebastian Junges
|
d581a95c65
|
examples and docu for building models
|
7 years ago |
|
Sebastian Junges
|
a568ea27dd
|
Moved the model instantiator to parameters, as this is now part of stormpy.pars
|
7 years ago |
|
Matthias Volk
|
a7540171ba
|
Bindings for simplification of parametric models
|
7 years ago |
|
Sebastian Junges
|
54e6989ebc
|
Update stormpy version
|
7 years ago |
|
Sebastian Junges
|
06e397f9f9
|
support model checking from formulas (instead of just from properties)
|
7 years ago |
|
Matthias Volk
|
14eedd6ca3
|
Skip tests if submodules are not supported
|
7 years ago |
|
Matthias Volk
|
d365b00de8
|
Raise StormError
|
7 years ago |
|
Matthias Volk
|
70e1985ad0
|
Raise StormError if symbolic description has undefined constants
|
7 years ago |
