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)