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

187 Commits (c0e61505e79db6e4cc515582486fd444ca6abd3f)

Author SHA1 Message Date
sjunges 277d70bc16 moved pgcl to own example repo
9 years ago
sjunges cb8189d171 move gspn examples to their own repo
9 years ago
sjunges dbc105f9ee dft examples moved to an example-repo
9 years ago
TimQu ca1fe4ccb5 deleted weird shell script files from pla evaluation
9 years ago
sjunges 1ed5581a1d removed old examples
9 years ago
TimQu 4e26b60b78 More cleanup
9 years ago
TimQu 3d24f25fbc cleaning up
9 years ago
TimQu 71e181bd93 some quick and dirty optimizations (that need to be reviewed)
9 years ago
sjunges ce9d7db67a fixed knuths die in pdtmc
9 years ago
sjunges bd2e7b075c one can never have enough labels in prism files
9 years ago
sjunges 489fd4f780 Die and TwoDie as in the Qapl talk
9 years ago
sjunges 3ffc93f9b2 label
9 years ago
sjunges 40ea6eeecd pctmc example
9 years ago
sjunges ec830adb19 added labels for error in pdtmc/brp
9 years ago
Mavo d3d360b50a First version of DFT approximation
9 years ago
ThomasH c5bbceebda fix project file
9 years ago
ThomasH 3a63d2d3b2 add pnpro example
9 years ago
Mavo fba2071e9f Dft exploration via NextStateGenerator
9 years ago
dehnert 99badd02c5 more work towards JANI reward models
9 years ago
sjunges 0f6a741276 pgcl
9 years ago
TimQu b362047e4f mutex example
9 years ago
TimQu ee59f772b0 fixed prism code for polling example
9 years ago
TimQu e1aca37c86 some minor tweaks plus polling example
9 years ago
Mavo 495b42ff4c Temporarily split new approximating state generation into own builder
9 years ago
ThomasH 3854feae87 add priorities to the parser and an example
9 years ago
TimQu 0760e2a7f9 tiny MA example, small fix and test cases for MAs
9 years ago
Mavo 12f7c08bac New class for DftStateGenerator
9 years ago
TimQu bf7a86b650 fixed lower time bounds for MAs
9 years ago
TimQu c765e60eda uploading some mdp benchmark logs...
9 years ago
TimQu 45434556e2 changed a property that makes more sense this way
9 years ago
TimQu 90ae65ffa9 computation of digitization constant
9 years ago
sjunges 88af02e723 towards new jani version
9 years ago
TimQu 1bfd864d2e new stream instances
9 years ago
TimQu d2c1c2d6f7 updated fragment checking for multi objective formulas
9 years ago
TimQu aae8fc8e87 regarding preprocessing for MAs
9 years ago
TimQu 6010266e5b merge fix and fix in model file
9 years ago
TimQu fbb7e12ff5 first steps towards MAs
9 years ago
TimQu 6bd95789bd pareto curve output improvements
9 years ago
dehnert 852afd1718 fixed crowds models to work with exact arithmetic. fixed dynamic state priority queue implementation. added setting to use dedicated elimination-based model checker instead of regular model checker (+ elimination solver)
9 years ago
TimQu a02e0eedf7 moved files around
9 years ago
TimQu cb9cf68632 output of runtime of mec decomposition
9 years ago
TimQu 8bb25234a3 fixed prism model code (formula used before definition)
9 years ago
TimQu 18623f304b some benchmarks
9 years ago
TimQu cf648b5bf1 output of runtimes and other statistics
9 years ago
TimQu 2fed3b647c scheduler benchmark now considers expected reachability reward (total reward was infinite).
9 years ago
TimQu 7d2db7b591 fixed zeroconf model files
9 years ago
TimQu 3b9740c95d fixed model files for team benchmark
10 years ago
TimQu de35d40905 total reward formulas
10 years ago
TimQu eaa50eb47e updated prism benchmark table
10 years ago
TimQu a9c4415466 put the prism results in a beautiful table
10 years ago