tempest

0 Tags

187 MiB

Author	SHA1	Message	Date
PBerger	98b0bcf187	Reimplemented the TopologicalValueIterationNondeterministicLinearEquationSolver with splitting into submatrices. Added a dtmc example for tests with the StronglyConnectedComponentDecomposition. Former-commit-id: `0c33793fe6`	12 years ago
PBerger	3052b19c58	Created a "real" scc example. Modified the TopologicalValueIterationMdpPrctlModelCheckerTest.cpp to show the crash when not using TBB. Former-commit-id: `98b47e9573`	12 years ago
PBerger	4eef3b0d57	Added an example for SCC related testing which will change soon Removed unnecessary code from the TopologicalValueIterationMdpPrctlModelChecker.h Fixed Bugs in graph.h (changes from Sparse Matrix Iterator, it didnt even compile anymore! Unused Code HAUNTS us) Former-commit-id: `96669adec9`	12 years ago
dehnert	360b506afe	Sparse MDP model checker now correctly computes (memoryless) schedulers for Until and Reachability Reward formulas. Former-commit-id: `c756093fd4`	12 years ago