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

15 Commits (e5b19643e82c0fc097bd07be2aef0b0a763baccb)

Author SHA1 Message Date
hannah e5b19643e8 dontCareStates can now be (non)deterministic and (un)defined
4 years ago
Stefan Pranger 7a851901e2 updates after cherry pick
4 years ago
hannah 093b01f0c5 adjusted scheduler dontCare
4 years ago
hannah 6b0aaeadb4 ignore dontCare States while printing
4 years ago
hannah 412489a57f Added possibility to set (un)reachable states for scheduler
4 years ago
Tim Quatmann 5c204182eb Added some todos
4 years ago
Stefan Pranger 1c03b4680a made member of Scheduler protected
4 years ago
Stefan Pranger dc430a3213 possibly skip undefined choices in schedulers
4 years ago
Stefan Pranger 5562007866 introduced PostScheduler
4 years ago
Tim Quatmann feebf1a24d Added scheduler export in .json
5 years ago
Sebastian Junges c4e7fdd5e5 alternative memoryless scheduler application
7 years ago
Sebastian Junges 0534216a85 preparations for scheduler extraction support
7 years ago
TimQu 7bd9ef798f returning the memory structure of a scheduler
8 years ago
TimQu 2f49255db6 Improved storage::Scheduler. We can now consider arbitrary finite memory schedulers, potentially employing randomization.
8 years ago
Sebastian Junges 3a7ee7867b rename files (does not compile)
9 years ago
dehnert f32853b6aa Beautified remaining storage classes a bit.
12 years ago
dehnert e31c3bfb17 Added an important comment.
12 years ago
dehnert 360b506afe Sparse MDP model checker now correctly computes (memoryless) schedulers for Until and Reachability Reward formulas.
12 years ago
dehnert 9e941e6b4a Added scheduler classes. Added method to model classes that applies a scheduler.
12 years ago