sp
/
tempest
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
461 Commits
2 Branches
0 Tags
187 MiB
Tree: d38e7eeeb8
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'd38e7eeeb8'
${ noResults }
Commit Graph

9 Commits (d38e7eeeb879457ef04a05ba45f2faac30b942fb)

Author SHA1 Message Date
dehnert d38e7eeeb8 Implemented new utility functions and improved existing ones.
12 years ago
dehnert bc4eb661ba Fixed some memory leaks. Fixed bug in vector utility. Fixed bug in sparse matrix printing. Fixed bug in DTMC model checker (computing reachability rewards). Included full reward model checking for MDPs.
12 years ago
dehnert d4cf812c5e Added until-model checking for MDPs. Implemented Prob1A algorithm. Added asynchronous leader example.
12 years ago
dehnert 48dea0199e Started implementing the model checker for MDPs. Added reduce functionality to vector utility. Moved min/max capability to NoBoundOperator.
12 years ago
Lanchid 7e87f35e95 First test case for prctl parser, and some necessary modifications for
12 years ago
Lanchid 1b0449addb Prctl parser... not yet working
12 years ago
dehnert 58cf8118fe Initial version of reward model checking for DTMCs. Added two convenience operators to PCTL (Eventually and Globally) and added missing reward formulas.
12 years ago
PBerger f983317b54 Renaming MRMC to STORM, see #42
12 years ago
PBerger cce8391e44 Refactored everything to match naming scheme.
13 years ago
dehnert cbe162ab84 Fixed some copy-paste errors.
13 years ago
PBerger 1f36724cc2 Refactored StringOutput to use std::to_string
13 years ago
dehnert 27ba61ff74 Fixed minor bugs here and there. Improved gmm++-based model checker.
13 years ago
dehnert 80b53bea18 Added more example files. Removed deletes at end of main() as these pointers are deleted by the DTMC class already. Small refactoring of GraphAnalyzer according to new guidelines. Added vector utility functions to set elements of vectors. Added conversion routine from our sparse matrix format to gmm++ format. Fixed some bugs in sparse matrix class. Added prototypical implementation of GmmxxDtmcPrctlModelChecker.
13 years ago