Sebastian Junges
|
bea345313c
|
python bindings for our UAI18 paper on POMDP + FSC -> PMC
|
5 years ago |
|
Sebastian Junges
|
cba659ec7a
|
build ppomdps
|
5 years ago |
|
Sebastian Junges
|
aa871ae5c7
|
access reward models in the prism file
|
5 years ago |
|
Sebastian Junges
|
0a6ff87fe2
|
simplify expressions
|
5 years ago |
|
Sebastian Junges
|
bb18af75b6
|
add initial support for dds
|
5 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
|
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 |
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
|
886718bdb2
|
state generation via stormpy is broken. to avoid compilation problems, this is disabled for now
|
5 years ago |
|
Matthias Volk
|
eeffca7df5
|
Small revision for MatrixBuilder
|
5 years ago |
hannah
|
e5a15eac6e
|
Parametric sparse matrix builder and tests
|
5 years ago |
|
hannah
|
b3d99eae89
|
convert numpy to SparseMatrix, tests
|
5 years ago |
|
hannah
|
2059add7cd
|
SparseMatrixBuilder class
|
5 years ago |
|
Sebastian Junges
|
5d05bc0e2f
|
bitvector already has an iterator, remove comment
|
5 years ago |
|
Sebastian Junges
|
dd7506c231
|
write / load winning regions
|
5 years ago |
|
Sebastian Junges
|
b041ca5e66
|
get constants and there defining expressions
|
5 years ago |
|
Sebastian Junges
|
c29871b1b2
|
build reward models and get them by name
|
5 years ago |
|
Sebastian Junges
|
831353bca0
|
jani model transformers
|
5 years ago |
|
Sebastian Junges
|
f42092e7aa
|
convenient access to choice index
|
5 years ago |
|
Sebastian Junges
|
9bd59c6356
|
choice labelling: get labels for a choice
|
5 years ago |
|
Sebastian Junges
|
d76f9e64f9
|
get automaton by name
|
5 years ago |
|
Sebastian Junges
|
b14fbfb7af
|
flatten composition in jani, (+smtsolverfactory)
|
5 years ago |
|
Sebastian Junges
|
8cadf228fc
|
does a model have a choice labelling?
|
5 years ago |
|
Sebastian Junges
|
6ccd867d7b
|
get prism module by name, get variables from module by name
|
5 years ago |
|
Matthias Volk
|
47383090d3
|
Fixed return policy
|
5 years ago |
|
Sebastian Junges
|
522bdb6e68
|
Pomdp inherit from Mdp
|
5 years ago |
|
Sebastian Junges
|
a17dfa107b
|
iterator over bitvectors added (iterating now mimicks the cpp behavior)
|
5 years ago |
|
Sebastian Junges
|
69cdae39a3
|
nr available actions
|
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 |
Philipp Schröer
|
e30b7da2e9
|
StateGenerator: add simulate function
|
6 years ago |
|
Sebastian Junges
|
81703b7851
|
flags for: a model is discrete_time, a model is nondeterministic
|
5 years ago |
Philipp Schröer
|
45c6415eaa
|
StateGenerator: expose choice origins
|
6 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 |
Sebastian Junges
|
d8c4bca6a7
|
added jani collector bindings
|
6 years ago |
|
Matthias Volk
|
5a61c88b6d
|
Tests for scheduler application and MA->CTMC translation
|
6 years ago |
|
Matthias Volk
|
9e31a5b83a
|
Fixed __str__ of models
|
6 years ago |
|
Sebastian Junges
|
7ae4d0806e
|
expression conjucntion and disjunction
|
6 years ago |
|
Sebastian Junges
|
300902a5cd
|
support for getting results for a particular state with symbolic model checking
|
6 years ago |
|
Sebastian Junges
|
1ff8ba5fe5
|
Renamed classes for PrismVariables from Prism_Variable to PrismVariable etc.
|
6 years ago |
|
Sebastian Junges
|
fbff51a096
|
check whether the model is sparse or symbolic represented
|
6 years ago |
|
Matthias Volk
|
d96249096e
|
Adaptions to changes in Storm
|
6 years ago |
|
Philipp Schröer
|
c1f2c83e1f
|
StateGenerator
|
6 years ago |
|
Sebastian Junges
|
76870b61be
|
building models with valuations
|
6 years ago |
Kevin Batz
|
c7e9ff14b9
|
binding for evaluate_as_rational (expressions)
|
6 years ago |
Kevin Batz
|
92275c3960
|
tests for prism programs and expressions
|
6 years ago |
