updated changelog (long-run rewards on MAs)

7 years ago · 89d8993cfb
1 changed files with 1 additions and 0 deletions
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@ -20,6 +20,7 @@ Version 1.0.x
 - USE_POPCNT removed in favor of FORCE_POPCNT. The popcnt instruction is used if available due to march=native, unless portable is set.
    Then, using FORCE_POPCNT enables the use of the SSE 4.2 instruction
 - Parametric model checking is now handled in a separated library/executable called storm-pars
+- Support for long-run average rewwards on Markov automata using the value-iteration based approach by Butkova et al. (TACAS 17)

 ### Version 1.0.1 (2017/4)