v0.7

Rapfff released this 27 Sep 16:47

· 100 commits to main since this release

930be46

Model checking for shortest path properties on MDPs
BW_HMM improved
Small summary after learning
Can set max number of iterations while using BW
Documentation enhanced, addition of the "formal" page

Assets 4