From 940674370cf4bd08b6a8e6c1ff7604648a8c19fc Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Sun, 23 Jul 2017 21:31:24 +0000 Subject: [PATCH] CHANGELOG. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@12165 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/CHANGELOG.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index 05977c42..be01da70 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -8,7 +8,7 @@ Version 4.4 (first released 23/7/2017) - expected reward to satisfy a co-safe LTL formula (MDPs, D/CTMCs, all engines) - interval iteration (MDPs, D/CTMCs, all engines) - topological value iteration (MDPs, D/CTMCs, explicit engine) - - expected total reward (R[C] operator) for CTMCs (all engines) + - expected total reward (R[C] operator) for CTMCs and MDPs (max), all engines - CTL model checking in the explicit engine - non-probabilistic LTL model checking in the explicit engine - instantaneous reward computation (Rmax/min[I=x]) in the explicit engine