From 51ae93d3f3182ace66f4d03885a5061b1506baf9 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 4 Dec 2007 12:14:34 +0000 Subject: [PATCH] CHANGELOG. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@544 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 d8233cbc..160161fd 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -6,7 +6,7 @@ of the main changes in each public release, see the file VERSIONS.txt. Latest additions (reverse chronological) (as of svn rev 542) ----------------------------------------------------------------------------- -* Addition of some missing reward model check algorithms +* Addition of some missing reward model checking algorithms - instantaenous reward properties (R=?[I=k]) for DTMCs/MDPs (MTBDD/sparse engines only) - cumulative reward properties (R=?[C<=k]) for DTMCs - sparse engine version of reach reward properties (R=?[F...]) for MDPs