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

554 Commits (67244869db215fde0698374a768c4050b7263bc4)

Author SHA1 Message Date
dehnert b06419afe0 working towards EC detection
10 years ago
dehnert 9f52d9fa97 first working version (for DTMCs only)
10 years ago
dehnert 034cf626a0 more work on learning-based engin
10 years ago
dehnert d802f0d9c6 worked a bit on the learning-based verification of MDPs
10 years ago
Mavo a63d004fb8 storm-dft is using settings now
10 years ago
Mavo effadc5cca Split into general settings and markov chain settings
10 years ago
dehnert e6ec8d5b60 fixed formula building in some performance tests
10 years ago
Mavo 67d77608bd Refactoring of settings
10 years ago
dehnert fd615289e0 outline of learning algorithm
10 years ago
dehnert 8ed46ce1b8 started on learning-based verification
10 years ago
dehnert 1fb943b658 moved some internal structs from model builder to their own files to make them reusable
10 years ago
dehnert ca354cffe4 moved preprocessing of PRISM program to utility to make it accessible from learning-based model checker
10 years ago
dehnert dae55eeb29 fixed some bugs and enabled markov automaton model checking from cli
10 years ago
Mavo ebbc4ce7b4 Fixed compile issues introduced in merge
10 years ago
sjunges d688296022 even more modularisation oppurtunaties are now taken
10 years ago
sjunges e390e1c39d several updates for better modularisation and support for VOT-modularisation
10 years ago
Mavo e5fd604498 Flag for disabling DC propagation
10 years ago
dehnert 7dee6d3da2 started on learning-based MDP model checking
10 years ago
sjunges 9ae9700d5c modularisation on and and or
10 years ago
dehnert 51402ec853 removed measure type and only added measure type to reward/time operators
10 years ago
dehnert 5e1e5b55a1 renamed expected time formulas to time formulas
10 years ago
dehnert 45e59848a9 first steps
10 years ago
dehnert f54c2fb8e7 tests passing again
10 years ago
Mavo 796d7652df Fixed problem with bounds in MA model checker
10 years ago
Mavo 3f41aa55f8 Cleaned up debug output
10 years ago
Mavo 174058bb5e Do not destroy the universe by dividing by 0
10 years ago
Mavo e4c2702889 Fixed problem in MaximalEndComponents
10 years ago
dehnert 08bed36579 fixed an issue in performance tests and renamed all remaining LOG4CPLUS macro invocations to that of storm
10 years ago
Mavo fa4a1aa68f Fixed bug with filtering reward vector
10 years ago
dehnert b3483211ff alpha version of conditional rewards for dtmc
10 years ago
dehnert b46ee5425e started to implement conditional rewards for dtmcs
10 years ago
dehnert 7b643fe166 tests working again
10 years ago
dehnert dc8a5b11e0 more refactoring regarding fragment checking
10 years ago
dehnert 2604df54ec more refactoring of formula classes: in particular fragment checking
10 years ago
dehnert be8c65525e introduced some methods to query formula type
10 years ago
dehnert b772c92edb removed reward path formulas. reward path formulas are now just path formulas. this allows some invalid formulas to be constructed, so this now has to be checked dynamically
10 years ago
Mavo 6b31b23c62 Removed unused time keeping variables
10 years ago
dehnert 3727018ef4 added functionality to sparse MDP helper to compute until probabilities just for maybe states (and produce the corresponding scheduler)
10 years ago
Mavo a6a8e5fff6 Structure for MA to CTMC
10 years ago
dehnert 8f087597cc more work towards proper scheduler generation
10 years ago
Mavo 56bcdcc807 Priority queue as pointer
10 years ago
dehnert bdcd4b26a3 refactoring early termination and solve goals and bounds
10 years ago
Mavo 7a10a04cde Created StateEliminator with specialized subclasses
10 years ago
dehnert dee44056d1 work towards generating schedulers (and some other related stuff)
10 years ago
Mavo f67c92b526 FlexibleSparseMatrix is in own class now
10 years ago
dehnert e5f9ddfbcc changed cli to create tasks that only compute the value for the initial state (if the model checker supports that)
10 years ago
dehnert 1308b91fda adapted canHandle in model checker interface to CheckTask
10 years ago
dehnert 4367bdb378 properly introduced CheckTask in all model checkers and made it compile again (+ functional tests working)
10 years ago
dehnert 3cd5738bb7 more replacement work in interfaces
10 years ago
dehnert 85adfe9df2 more replacement work in interfaces
10 years ago