From 267291ea900b0911d05a31d90190ffa17bbcdc7e Mon Sep 17 00:00:00 2001 From: Tim Quatmann Date: Tue, 3 Dec 2019 18:05:58 +0100 Subject: [PATCH] Updated Changelog --- CHANGELOG.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 150df6c4b..5647623f5 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -8,7 +8,8 @@ Version 1.4.x ------------- ### Version 1.4.1 (under development) - +- Implemented Long run average computation for DTMCs/CTMCs via value iteration and via gain/bias equations. +- Added several LRA related settings in a new settings module. Note that `--minmax:lramethod` has been replaced by `--lra:nondetmethod`. ### Version 1.4.0 (2019/11) - Added support for multi-dimensional quantile queries.