dehnert
|
711d5cfa12
|
fixed bug in sparse dtmc elimination model checker. commented out weird eliminaton functions in CTMC model checker and storm.h
Former-commit-id: 3000123a3d
|
9 years ago |
|
dehnert
|
49f59052f8
|
made model checkers give up possession of matrix to solver when possible
Former-commit-id: 8d689470bd
|
9 years ago |
|
dehnert
|
00d331ebb4
|
moved linear equation solver factories to the respective solver files (and away from utility). restructured settings in factories and the way they are forwarded to the linear equation solvers. fixed all resulting errors
Former-commit-id: 27e1ae2466
|
9 years ago |
|
dehnert
|
f3fa90cc37
|
more work towards exact solving
Former-commit-id: 38edbcf2ca
|
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 |
Mavo
|
67d77608bd
|
Refactoring of settings
Former-commit-id: ea4350fc1c
|
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 |
|
Mavo
|
174058bb5e
|
Do not destroy the universe by dividing by 0
Former-commit-id: bd784f7ade
|
9 years ago |
|
Mavo
|
b55cc3276e
|
Reachability probabilities for CTMCs
Former-commit-id: fad855c59a
|
9 years ago |
|
Mavo
|
e04cc99931
|
Removed debug output
Former-commit-id: ca149a082f
|
9 years ago |
|
Mavo
|
62f7305bea
|
No rewards for target states
Former-commit-id: 98e0139840
|
9 years ago |
|
Mavo
|
3e4ddbea8c
|
Integrated expected time on parametric CTMCs
Former-commit-id: 2f892ad8db
|
9 years ago |
|
dehnert
|
1c7f5dae56
|
fixed a bug pointed out by Matthias
Former-commit-id: 0a4355c580
|
9 years ago |
|
Mavo
|
71070cb281
|
Implemented expected time on CTMC by reduction to DTMC with rewards
Former-commit-id: ebd3603069
|
9 years ago |
|
dehnert
|
645f130a62
|
introduced long-run average reward formula
Former-commit-id: 00fac9ad4b
|
10 years ago |
|
dehnert
|
f51e8eeaea
|
moved reward model template parameter from helper classes to the affected functions. this sadly excludes the SparseDtmcPrctlHelper for which clang then produces a segfault (bug report pending)
Former-commit-id: 8e9f0b29d4
|
10 years ago |
sjunges
|
e3122e5ede
|
Faster compilation and topological failing test failed
Former-commit-id: 55c816594f
|
10 years ago |
|
dehnert
|
b94e978843
|
another round of fixes
Former-commit-id: 67f4e4be47
|
10 years ago |
|
dehnert
|
b3178e17f6
|
more bug fixes
Former-commit-id: 0b33b30efa
|
10 years ago |
|
dehnert
|
5beb33e3d8
|
merged a bit more
Former-commit-id: e42dc21233
|
10 years ago |
|
dehnert
|
9d138d86f7
|
further work on creating helper classes for model checking tasks
Former-commit-id: 12cd17fb26
|
10 years ago |
|
dehnert
|
b56766e993
|
more work on reward model that turned out to be refactoring in disguise
Former-commit-id: 31a7fa4801
|
10 years ago |
David_Korzeniewski
|
ea2e616196
|
All tests for CUDA based TopologicalValueIterationMdpPrctlModelChecker passing on Windows.
Former-commit-id: 68cafa6f84
|
10 years ago |
PBerger
|
d5828043de
|
Added first signs of the CUDA Extension for Storm.
Former-commit-id: b02385cd82
|
11 years ago |
gereon
|
9ca0acd0d6
|
removed obsolete cmake files, renamed license file
|
12 years ago |
|
PBerger
|
9da2eaf3d1
|
Initial Import into Git
Lacks Doxygen files/integration
|
13 years ago |
