Outdated bee models population>10 (r_decimals): new version on Thunder *CASE STUDY* - Githubissues

xhajnal / DiPS

Multiple properties Probabilistic systems Model checker

BSD 3-Clause "New" or "Revised" License

4 stars 1 forks source link

Outdated bee models population>10 (r_decimals): new version on Thunder CASE STUDY #71

Closed xhajnal closed 4 years ago

xhajnal commented 4 years ago

[x] Copy to Freya
[x] Copy to Skadi
[x] Copy to Morgan

Recompute the polynomials

[x] Copy to Thunder
[x] Copy to Freya
[x] Copy to Skadi
[ ] Copy to Morgan