TimQu
|
4d53dc4930
|
Fix in SparseMatrix::swapRows
Former-commit-id: 40e2d890d4 [formerly f46095e877 ]
Former-commit-id: 61fcf545cb
|
9 years ago |
dehnert
|
bba69684c9
|
reworked explicit Markov automaton generation a bit
Former-commit-id: 1ca8c9e828 [formerly 05ef68fdeb ]
Former-commit-id: c0f5830754
|
9 years ago |
Mavo
|
566cef0f91
|
Started on compiling without Carl
Former-commit-id: 5e0895d7c5
|
9 years ago |
TimQu
|
f681206393
|
building markov automata from prism code
Former-commit-id: 791c49c7cf
|
9 years ago |
dehnert
|
a699272dc6
|
renamed storm::Variable to storm::RationalFunctionVariable to avoid confusion with storm::expressions::Variable. fixed some Eigen tests
Former-commit-id: 62c70330c2
|
9 years ago |
Mavo
|
17ba53dafa
|
Division by Interval not supported
Former-commit-id: 86b2f555c9
|
9 years ago |
dehnert
|
2096c54b84
|
more explicit instantiations for rational function and some more tests for eigen solver
Former-commit-id: b97e838b22
|
9 years ago |
sjunges
|
c8d9ec5535
|
update sparse matrix with duplicate row detection within rowgroups
Former-commit-id: 282803c02f
|
9 years ago |
dehnert
|
b06419afe0
|
working towards EC detection
Former-commit-id: 78bbe54f81
|
9 years ago |
dehnert
|
fd615289e0
|
outline of learning algorithm
Former-commit-id: d770d1b7dc
|
9 years ago |
Mavo
|
ebbc4ce7b4
|
Fixed compile issues introduced in merge
Former-commit-id: 059b7c84b3
|
9 years ago |
dehnert
|
f54c2fb8e7
|
tests passing again
Former-commit-id: 8e3311f4c7
|
9 years ago |
dehnert
|
a40d12f915
|
made getRowGroup more consistent and fixed some introduced bugs
Former-commit-id: 99b6c0e3a5
|
9 years ago |
dehnert
|
0b98412bb4
|
further work on making row-grouping optional
Former-commit-id: bae568660f
|
9 years ago |
dehnert
|
f81ce1cac1
|
started making row grouping optional
Former-commit-id: b90ae91e75
|
9 years ago |
dehnert
|
ffe63ea95d
|
made dfs as exploration order available
Former-commit-id: 46ea31af78
|
9 years ago |
dehnert
|
55fd1b66c3
|
introducing exploration orders to explicit builder
Former-commit-id: a56620eac2
|
9 years ago |
sjunges
|
e0980de0ba
|
first version of storm without log4cplus as a dependency
Former-commit-id: 5aa64fabd7
|
9 years ago |
Mavo
|
d340ea7425
|
Helper function for replacing columns in SpareMatrix
Former-commit-id: aa37022b7c
|
9 years ago |
sjunges
|
aa72d8a158
|
added missing instantiation of sparse matrix with carl ratnumber
Former-commit-id: c080e9b4a5
|
9 years ago |
Mavo
|
acab78ba0e
|
Added row groups to flexible matrix
Former-commit-id: 85c7dc944b
|
9 years ago |
Mavo
|
49dc27077c
|
Added row grouping members (but not the needed logic)
Former-commit-id: c4f7319e85
|
9 years ago |
TimQu
|
2b320523b5
|
fixed displaying of non const states and transitions
Former-commit-id: 6f621d6980
|
10 years ago |
TimQu
|
d6f65465d2
|
Number of non-const states and transitions
Former-commit-id: 67e7dced61
|
10 years ago |
sjunges
|
93be84a4a8
|
fix in get parameters from model
Former-commit-id: c4c11b2b29
|
10 years ago |
dehnert
|
33757633c8
|
first version of conditional probabilities for (non-parametric) DTMCs a la Baier
Former-commit-id: b57dfab024
|
10 years ago |
TimQu
|
c0b5190022
|
Extended interface of linEqSolvers a little,
eq solver is now called repeatedly with increased precision, until the result is good enough..
Former-commit-id: b076950dc8
|
10 years ago |
TimQu
|
9c645ba24b
|
Work on policy recycling
Former-commit-id: b8e94254ce
|
10 years ago |
TimQu
|
87c8241ec7
|
policies for games
Former-commit-id: 8bfb325b60
|
10 years ago |
sjunges
|
86155a5a87
|
extra option for export of a matrix
Former-commit-id: 1ea9046438
|
10 years ago |
dehnert
|
44a9636f69
|
fixed an issue with getSubmatrix
Former-commit-id: f4f8fb2f61
|
10 years ago |
sjunges
|
b06562ec31
|
fix in getSubmatrix
Former-commit-id: 6f248dde46
|
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 |
dehnert
|
b2d8cae9ce
|
instantiated (and fixed occurring problems) explicit parsers with intervals as the reward model value type
Former-commit-id: bf452cd751
|
10 years ago |
dehnert
|
ad660f0f98
|
more ifdefs for everyone
Former-commit-id: f94a2c55bc
|
10 years ago |
dehnert
|
21d9e91586
|
work towards interval reward model
Former-commit-id: 24f7e9684f
|
10 years ago |
sjunges
|
faf31156e0
|
fix for last changes + is probabilistic
Former-commit-id: 38df3f515f
|
10 years ago |
sjunges
|
3c2040f4b7
|
Removed many superfluous includes, added some source files -- towards faster compilation
Former-commit-id: a575a97d40
|
10 years ago |
dehnert
|
56b4f53ce7
|
got rid of more warnings
Former-commit-id: 5c39f63c69
|
10 years ago |
sjunges
|
90fa8f6f0d
|
convenience methods for sparse matrix added
Former-commit-id: 3feda8a8c3
|
10 years ago |
sjunges
|
812b101c40
|
better program checks, some extensions in model and matrix
Former-commit-id: 8efaaf2ca9
|
10 years ago |
sjunges
|
1ec453e587
|
support for intervals in matrices
Former-commit-id: e8d9d85162
|
10 years ago |
TimQu
|
86ff07ec0d
|
take sampling point before approximation to know whether to minimize or maximize.
only compute the rational function when it is needed.
Former-commit-id: 0000360472
|
10 years ago |
dehnert
|
1e5398c8b7
|
LRA finally working for ctmcs
Former-commit-id: 699e4714a4
|
10 years ago |
dehnert
|
331ea9fc19
|
further work on steady state probabilities
Former-commit-id: d2497ac7eb
|
10 years ago |
dehnert
|
ce58a5fa6f
|
steady state working for CTMCs
Former-commit-id: 9b2cf09400
|
10 years ago |
dehnert
|
d3124f2c23
|
fixed bug in matrix builder
Former-commit-id: 92d6b185e8
|
10 years ago |
dehnert
|
6c4162fae4
|
more work towards steady state for CTMCs
Former-commit-id: c3e17d1fc0
|
10 years ago |
David_Korzeniewski
|
1cf0a73c4e
|
Added methods to update nonzero entry count and update it when necessary
And a fix for a compile error on gcc&clang.
Former-commit-id: 2a095ca864
|
10 years ago |
David_Korzeniewski
|
5acaed6048
|
Added flag to keep zeros when transposing.
Former-commit-id: 811f6824cf
|
10 years ago |