v1.2.1

volkm released this 01 Feb 19:06

· 4302 commits to master since this release

c43830e

Multi-dimensional reward bounded reachability properties for DTMCs.
storm-dft: transformation of DFTs to GSPNs
Several bug fixes

Assets 2