sp
/
tempest
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
Browse Source

updated changelog: support for expected total rewards

tempestpy_adaptions
TimQu 7 years ago
parent
5a16b2befa
commit
ca2295be1d
1 changed files with 1 additions and 0 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Unified View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 1
      CHANGELOG.md

1
CHANGELOG.md
View File

@ -12,6 +12,7 @@ Version 1.2.x
- `storm-dft`: test cases for DFT analysis - `storm-dft`: test cases for DFT analysis
- Sound value iteration (SVI) for DTMCs and MDPs - Sound value iteration (SVI) for DTMCs and MDPs
- Topological solver for linear equation systems and MinMax equation systems. - Topological solver for linear equation systems and MinMax equation systems.
- Added support for expected total rewards in the sparse engine
### Version 1.2.1 (2018/02) ### Version 1.2.1 (2018/02)

Write Preview
Loading…
Cancel
Save