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

5 Commits (358bc14ded856e3d1c44cd6827935b4de1dbc110)

Author SHA1 Message Date
dehnert b31d98909b Explicit MDP bisim working but unfortunately slow :(
11 years ago
dehnert 7156a63b0f tried different approach for bisim for MDPs
11 years ago
dehnert b67ac0619f Weak bisimulation now supported. Still need to improve the performance of the quotienting, however.
12 years ago
dehnert ca9dddb110 Sparse Bisimulation is still ongoing work.
12 years ago
dehnert caa7335afa Started work on sparse bisimulation decomposition.
12 years ago