diff --git a/CHANGELOG.md b/CHANGELOG.md index 6899f0b90..65e10cd4b 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -12,6 +12,7 @@ Version 1.6.x - Added computation of steady state probabilities for DTMC/CTMC in the sparse engine. Use `--steadystate` in the command line interface. - Implemented parsing and model building of Stochastic multiplayer games (SMGs) in the PRISM language. No model checking implemented, for now. - Added support for continuous integration with Github Actions. +- `storm-pars`: Exploit monotonicity for computing extremal values and parameter space partitioning. ## Version 1.6.3 (2020/11) - Added support for multi-objective model checking of long-run average objectives including mixtures with other kinds of objectives.