sp
/
tempest
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
2535 Commits
2 Branches
0 Tags
187 MiB
Tree: 2df485a144
Commit Graph

13 Commits (2df485a1441f02304df8db8f071d6e7ef2506a0e)

Author SHA1 Message Date
dehnert dae55eeb29 fixed some bugs and enabled markov automaton model checking from cli
9 years ago
dehnert 5e1e5b55a1 renamed expected time formulas to time formulas
9 years ago
dehnert dee44056d1 work towards generating schedulers (and some other related stuff)
10 years ago
sjunges 6cd3cdcd6b fixed missing template instantations
10 years ago
dehnert 645f130a62 introduced long-run average reward formula
10 years ago
sjunges f08f66e900 added an option for polic extraction to the helper, some includes
10 years ago
sjunges 8568ee3986 only one optimization direction enum -- towards integration of termination criterions on the model checker
10 years ago
dehnert f51e8eeaea moved reward model template parameter from helper classes to the affected functions. this sadly excludes the SparseDtmcPrctlHelper for which clang then produces a segfault (bug report pending)
10 years ago
dehnert 21d9e91586 work towards interval reward model
10 years ago
sjunges 35a154f67f Splitted graph in h and cpp`
10 years ago
dehnert 5beb33e3d8 merged a bit more
10 years ago
dehnert 8ff557cfad more work on creating helpers for model checkers
10 years ago