TimQu
|
8e92d1a44b
|
fixed typo
|
7 years ago |
sjunges
|
3ac42caf7c
|
extensions to pomdp stuff
|
7 years ago |
|
sjunges
|
c9064a2bf0
|
Merge branch 'pomdp_datastructures' of https://srv-i2.informatik.rwth-aachen.de/scm/git/storm into pomdp_datastructures
|
7 years ago |
Sebastian Junges
|
6ab286f420
|
remove output, copy observability when modules are used
|
7 years ago |
|
sjunges
|
9314d99354
|
allow inference from actions, but only with a set option
|
7 years ago |
|
Sebastian Junges
|
d4980ca325
|
intermediate commit
|
7 years ago |
|
sjunges
|
10b1f65840
|
eliminating selfloops in pomdps
|
7 years ago |
|
sjunges
|
5931e19a09
|
Merge branch 'master' into pomdp_datastructures
|
7 years ago |
|
sjunges
|
b120b74fa9
|
StateActionPair to index should be part of nondeterministicmodel
|
7 years ago |
|
sjunges
|
6e506e5a66
|
moved application of permissive scheduler to an own transformer
|
7 years ago |
|
Sebastian Junges
|
790fbffd6d
|
pomdps in an own cli, support for application of stochastic schedulers, etc
|
7 years ago |
|
Sebastian Junges
|
fb8dd88314
|
fixes in parsing, support for POMDPs in DRN
|
7 years ago |
|
Sebastian Junges
|
ebb0a30cc6
|
Merge branch 'master' into pomdp_datastructures
|
7 years ago |
|
Sebastian Junges
|
d271824461
|
prepare to initialize but not make settings known, not yet fully functioning
|
7 years ago |
|
Sebastian Junges
|
d2002129b7
|
remove output
|
7 years ago |
|
Sebastian Junges
|
e0452be54b
|
move some of the cli stuff to an own header
|
7 years ago |
dehnert
|
c5da67d6cf
|
refined warning for automatic switch to policy iteration in exact mode
|
7 years ago |
|
dehnert
|
8cdbf281fa
|
make minmax solvers use policy iteration when --exact is set and no other method was explicitly set
|
7 years ago |
|
Sebastian Junges
|
09dcb149c2
|
storm parses and builds pomdps
|
7 years ago |
|
Sebastian Junges
|
63fd02937f
|
pomdps
|
7 years ago |
Matthias Volk
|
f254a05f4e
|
Update mtime_cache files for travis caching
|
7 years ago |
|
sjunges
|
bbb4d16965
|
towards support for pomdps in storm
|
7 years ago |
|
sjunges
|
bc3646604d
|
Extend ModelType with an entry for POMDPs
|
7 years ago |
|
Matthias Volk
|
39d789f042
|
Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/storm
|
7 years ago |
|
Matthias Volk
|
c09f6c1924
|
Update mtime_cache files for travis caching
|
7 years ago |
|
Sebastian Junges
|
8cacede55f
|
Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/storm
|
7 years ago |
|
sjunges
|
5624818caf
|
Updated Changelog
|
7 years ago |
|
sjunges
|
66cf4f1d28
|
Command line access to onlyconstraints for any model type
|
7 years ago |
|
sjunges
|
2b01e2fa61
|
GraphConditions for any model type
|
7 years ago |
|
sjunges
|
a27e7bdc82
|
no longer use arithconstraint
|
7 years ago |
|
sjunges
|
a994b80931
|
getting rid of outdated carl simple constraint usage
|
7 years ago |
|
Sebastian Junges
|
04e542059d
|
Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/storm
|
7 years ago |
|
Sebastian Junges
|
9e9060ecd7
|
fix in changelog
|
7 years ago |
|
sjunges
|
b4a8833e3f
|
towards getting rid of code duplication in storm-pars-cli
|
7 years ago |
|
sjunges
|
e718acffba
|
move cli stuff from storm lib to an own small lib
|
7 years ago |
|
sjunges
|
2c2dc5acd8
|
Changed API such that the command line settings do not occur in the settings anymore. Moreover, to prevent having 15 Boolean arguments, the build options are now part of the API.
|
7 years ago |
|
sjunges
|
98d124bd06
|
As the builder options now occur in the API, we should improve their documentation.
|
7 years ago |
|
sjunges
|
bf6258bd86
|
builder options have uniform signature
|
7 years ago |
|
Matthias Volk
|
1c2c4eb612
|
Added subtitle to README
|
7 years ago |
|
Matthias Volk
|
2dba64705e
|
Removed redundant info in CHANGELOG
|
7 years ago |
|
Matthias Volk
|
c903f738b3
|
Fixed some typos
|
7 years ago |
|
Matthias Volk
|
49447da43d
|
Disable Debian in travis as there was no difference to Ubuntu
|
7 years ago |
|
Matthias Volk
|
c8734591c3
|
Enable travis notifications
|
7 years ago |
|
Matthias Volk
|
05e97917aa
|
Enable travis support for stable branch
|
7 years ago |
|
Matthias Volk
|
8aaa205c57
|
Added travis build status to README
|
7 years ago |
|
Sebastian Junges
|
c639f39076
|
require carl version 17.08
|
7 years ago |
|
Matthias Volk
|
ea7843d64b
|
Merge remote-tracking branch 'upstream/master'
|
7 years ago |
|
Matthias Volk
|
6edbc52171
|
Removed remark to non-existing make command in README
|
7 years ago |
|
Matthias Volk
|
a1934ce8a9
|
Fixed minor things in README
|
7 years ago |
|
Matthias Volk
|
8ede347fdd
|
Fixed warning by fixing typo
|
7 years ago |
