sjunges
|
896d2bcaef
|
propositional model checking for further interval reward model types
Former-commit-id: b8d2c89335
|
10 years ago |
|
sjunges
|
e4aab761d2
|
updates to perm schedulers
Former-commit-id: b3404cac21
|
10 years ago |
|
sjunges
|
98162d1d7e
|
interface for rew. model extended for reinforcement learning
Former-commit-id: b69474fc4f
|
10 years ago |
|
sjunges
|
765748c7cf
|
graph stuff for other reward models..
Former-commit-id: e7d4d9b95d
|
10 years ago |
|
sjunges
|
e8799963fe
|
compiles again
Former-commit-id: fb79c334d8
|
10 years ago |
|
sjunges
|
b8343255be
|
fixed headers, allow changes in rew. model again
Former-commit-id: 4617000d30
|
10 years ago |
|
sjunges
|
53dc99deb0
|
prob01A for non.detmodels added (convenience function)
Former-commit-id: 213c8b1b49
|
10 years ago |
|
sjunges
|
131ab5b674
|
Updates on perm. schedulers
Former-commit-id: 16b65774a1
|
10 years ago |
|
sjunges
|
edbd7e827b
|
MDPs, restrict choices, get choiceindex
Former-commit-id: 6d1f2ff37d
|
10 years ago |
|
sjunges
|
2f49418e63
|
Add dependency on xercesc
Former-commit-id: 595b4d294d
|
10 years ago |
|
sjunges
|
21b0829b69
|
...
Former-commit-id: 55a29b1517
|
10 years ago |
|
sjunges
|
e9b4aa5de4
|
xerces 2nd part
Former-commit-id: bcd783c277
|
10 years ago |
|
sjunges
|
73073d2fff
|
Added Xerces
Former-commit-id: 9e5eeb3b86
|
10 years ago |
|
sjunges
|
288f34b083
|
Added Xerces
Former-commit-id: 42a3347ab6
|
10 years ago |
dehnert
|
a8f89c3875
|
fixed cmake file
Former-commit-id: a62e21ef52
|
10 years ago |
|
dehnert
|
15b97057dd
|
silenced some warnings within boost (new clang version) and fixed an unused variable issue
Former-commit-id: d19970b278
|
10 years ago |
TimQu
|
3059711619
|
Merge branch 'master' into TimParamSysAndSMT and minor stuff
Former-commit-id: 90ea514475
|
10 years ago |
|
dehnert
|
50296571f5
|
Merge branch 'master' into future
Former-commit-id: 1a3d651953
|
10 years ago |
|
dehnert
|
deec423f27
|
fixed infinite recursion in constants comparator
Former-commit-id: b36b352d36
|
10 years ago |
|
TimQu
|
d26f38b9a2
|
minor stuff, some more pmdp examples and an mdp test case
Former-commit-id: f48e308e5f
|
10 years ago |
|
TimQu
|
4bbccd1ec6
|
Merge branch 'master' into TimParamSysAndSMT
Former-commit-id: 6ef9d0524d
|
10 years ago |
|
TimQu
|
adc5c8d1c1
|
Fixed another memory leak: CheckResults have not been destructed properly.
Former-commit-id: 5631c101bb
|
10 years ago |
|
TimQu
|
77e086f446
|
small fix regarding the return type of computeValue
Former-commit-id: 78b43e0f6d
|
10 years ago |
|
TimQu
|
f72c30cdff
|
First version of approximation model (with mdp intead of s2pg)
Former-commit-id: 86fdbc5f36
|
10 years ago |
|
TimQu
|
c94e9c25a6
|
Added Mdp Region checking in storm.h, Some STORM_LOG_DEBUGs, fixes for sampling to work on Mdps
Former-commit-id: ab42fefd92
|
10 years ago |
|
TimQu
|
78bd4a041a
|
Added Mdp class, sampling might work already (untested)
Former-commit-id: f0d5c77645
|
10 years ago |
|
dehnert
|
312aa0bd8e
|
Merge branch 'master' into future
Former-commit-id: 11896ccca3
|
10 years ago |
|
TimQu
|
70dd76c08b
|
Splitted region modelchecker in abstract class and dtmc class (to easily add an mdp class soon)
Former-commit-id: e722c8f2bd
|
10 years ago |
|
dehnert
|
e51a3cfa85
|
refined cut-off of builders a little. Now, based on the property, more of the states are treated as terminal states of the model
Former-commit-id: 4b68d6f1e8
|
10 years ago |
|
dehnert
|
e8e77f0dd3
|
fixed problem with prefix of fresh variables
Former-commit-id: 1a7a87cfeb
|
10 years ago |
|
sjunges
|
01f3e0a2cc
|
Merge branch 'future' into python_api
Former-commit-id: edf14f1618
|
10 years ago |
|
sjunges
|
e8408cdc7b
|
gurobi 6.05 for mac os support - second try
Former-commit-id: 1dc5be581a
|
10 years ago |
|
sjunges
|
4425368e0c
|
gurobi 6.05 for mac os support
Former-commit-id: 29afa71b2d
|
10 years ago |
|
sjunges
|
7db785633b
|
Merge branch 'future' into python_api
Former-commit-id: ebc4b87ebe
|
10 years ago |
|
sjunges
|
3a17477713
|
change engine in options...(preliminary)
Former-commit-id: 56e05ef08c
|
10 years ago |
|
sjunges
|
c3e390c59a
|
extended api with an option to verify model according to given engine
Former-commit-id: b2163590a5
|
10 years ago |
|
sjunges
|
c7f8a653d4
|
CCache fixed name of option, write info about that in storm-version
Former-commit-id: 57c07b8449
|
10 years ago |
|
sjunges
|
559cb67813
|
updates to the stormpy core
Former-commit-id: 092d694ade
|
10 years ago |
|
sjunges
|
dfa201553f
|
Merge branch 'future' of https://sselab.de/lab9/private/git/storm into future
Former-commit-id: ed2036c1ae
|
10 years ago |
|
sjunges
|
73bfdda6ed
|
missing file
Former-commit-id: 3778460bdf
|
10 years ago |
|
sjunges
|
ebdd979d2c
|
settings: checks after config file, added finalize
Former-commit-id: a383159a02
|
10 years ago |
|
sjunges
|
93a0f7f8bb
|
settings: checks after config file, added finalize
Former-commit-id: 6b3769a7a9
|
10 years ago |
|
TimQu
|
0043d3ebf5
|
changed template argument, used unordered_map
Former-commit-id: a563503d4a
|
10 years ago |
|
dehnert
|
ccad5741a7
|
added test case for game solver
Former-commit-id: 9bf486aa00
|
10 years ago |
|
dehnert
|
e9b5ed52a6
|
Merge branch 'future' into gamesolver
Former-commit-id: 7bab69ddc8
|
10 years ago |
|
dehnert
|
6a80348150
|
fixed issue related to row groups in sparse matrix and adapted the affected calling sites
Former-commit-id: 96c6fd7e59
|
10 years ago |
|
sjunges
|
cf999006de
|
Merge branch 'future' into python_api
# Conflicts:
# CMakeLists.txt
Former-commit-id: 3639137e81
|
10 years ago |
|
sjunges
|
649c928828
|
further refactored api / shifted some highlevel functionality to cli
Former-commit-id: 0fc2dac6a7
|
10 years ago |
|
sjunges
|
c281efcde3
|
refactored parts of the api
Former-commit-id: 3457c238bb
|
10 years ago |
|
dehnert
|
fd86d430ae
|
minor fix
Former-commit-id: f5e5f0fde5
|
10 years ago |
