From ca2295be1ddaae7a9d90c14bc90af0ddb66337d7 Mon Sep 17 00:00:00 2001 From: TimQu Date: Mon, 25 Jun 2018 15:24:13 +0200 Subject: [PATCH] updated changelog: support for expected total rewards --- CHANGELOG.md | 1 + 1 file changed, 1 insertion(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index 54be35d3f..150d5ef1b 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -12,6 +12,7 @@ Version 1.2.x - `storm-dft`: test cases for DFT analysis - Sound value iteration (SVI) for DTMCs and MDPs - Topological solver for linear equation systems and MinMax equation systems. +- Added support for expected total rewards in the sparse engine ### Version 1.2.1 (2018/02)