From a4e03ff941dc5cd27e98d1d561f3551b5b26db77 Mon Sep 17 00:00:00 2001 From: Tim Quatmann Date: Thu, 28 Feb 2019 11:42:54 +0100 Subject: [PATCH] Updated Changelog. We now have quantile queries. --- CHANGELOG.md | 1 + 1 file changed, 1 insertion(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index 0c989225e..531e57a31 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -8,6 +8,7 @@ Version 1.3.x ------------- ### Version 1.3.1 (under development) +- Added support for multi-dimensional quantile queries - Fixed sparse bisimulation of MDPs (which failed if all non-absorbing states in the quotient are initial) ### Version 1.3.0 (2018/12)