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

3077 Commits (3bb36997a11f096660ae1ebac3d8e70f39d8c82e)
 

Author SHA1 Message Date
dehnert 07e97e1977 added some statistics and options
9 years ago
dehnert 6d421a6fbe learning seems to work find on first larger example
9 years ago
dehnert f1105aac2a EC-detection appears to work now
9 years ago
Mavo 19a1c99fd3 Sort failable BEs according to active failure rate
9 years ago
Mavo a41e5df39f Changed BFS to DFS in Exploration
9 years ago
dehnert ce91fa7d5b started to work on local EC-detection
9 years ago
Mavo 10e94d7104 Typo
9 years ago
dehnert 599a3e99c7 minimal probabilities now working (for some test cases)
9 years ago
dehnert 8ea869ef14 changed detection of terminal states a bit
9 years ago
dehnert c2b287a1e1 more work on learning approach
9 years ago
dehnert 1405cdfc46 debugged the refactoring a bit
9 years ago
dehnert 5092435329 started refactoring learning model checker
9 years ago
Mavo 3f06a51869 Added test setting for quick activation/deactivation of test feature
9 years ago
Mavo 380d3f1897 CTMC constructor with exitRates
9 years ago
Mavo 7688d7ef42 Fixed test
9 years ago
Mavo d70317fdb5 Merge from future
9 years ago
dehnert 62db38813b started to refactor learning engine a bit
9 years ago
dehnert 2f5f439f26 re-added (naive) splitter selection heuristic
9 years ago
sjunges ee7ef1deaa Merge branch 'future' of https://sselab.de/lab9/private/git/storm into future
9 years ago
sjunges c8d9ec5535 update sparse matrix with duplicate row detection within rowgroups
9 years ago
dehnert e84c2692a5 Merge branch 'future' into learning_engine
9 years ago
dehnert 38ea181e3d added tons of debug output. all small test models now show sane results
9 years ago
dehnert e4a5c1d0d6 more work on EC detection (again0
9 years ago
dehnert 1136ff0d37 fixed a failing test (uninitialized data issue)
9 years ago
dehnert b06419afe0 working towards EC detection
9 years ago
TimQu 67cc067f35 fixed computeSchedulerProbGreater0E.
9 years ago
dehnert 9f52d9fa97 first working version (for DTMCs only)
9 years ago
dehnert 034cf626a0 more work on learning-based engin
9 years ago
dehnert d802f0d9c6 worked a bit on the learning-based verification of MDPs
9 years ago
Mavo a63d004fb8 storm-dft is using settings now
9 years ago
Mavo c9f04ecc0b Added IOSettings
9 years ago
Mavo effadc5cca Split into general settings and markov chain settings
9 years ago
dehnert e6ec8d5b60 fixed formula building in some performance tests
9 years ago
Mavo f48d8bc6b1 Initialize all modules in tests and normal storm
9 years ago
Mavo 8241df3b0b First step towards settings for multiple binaries
9 years ago
Mavo 67d77608bd Refactoring of settings
9 years ago
dehnert fd615289e0 outline of learning algorithm
9 years ago
TimQu 4bb4e29e43 Added a test case where model checking expected rewards on MDPs currently fails
9 years ago
Mavo f529a1315f Settings module do not need settings manager
9 years ago
Mavo 2e9089eca6 Small changes
9 years ago
Mavo c23eb73129 Cleaned examples
9 years ago
Mavo 869b0f95d1 Support for pdeps with more than one child
9 years ago
dehnert 8ed46ce1b8 started on learning-based verification
9 years ago
dehnert 1fb943b658 moved some internal structs from model builder to their own files to make them reusable
9 years ago
dehnert ca354cffe4 moved preprocessing of PRISM program to utility to make it accessible from learning-based model checker
9 years ago
Mavo 2c172cd082 Refactoring
9 years ago
Mavo 5796da9a5c Refactoring
9 years ago
Mavo fe7037e7fd Support for POR (priority or)
9 years ago
dehnert 2df485a144 Merge branch 'future' into learning_engine
9 years ago
Mavo 7c60e4275d Some more parametric DFT examples
9 years ago