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

changelog updated with storm-pomdp change

tempestpy_adaptions
Sebastian Junges 5 years ago
parent
4942e362db
commit
d1b34e3572
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

@ -18,6 +18,7 @@ Version 1.5.x
- `storm-dft`: Renamed setting `--show-dft-stats` to `dft-statistics` and added approximation information to statistics. - `storm-dft`: Renamed setting `--show-dft-stats` to `dft-statistics` and added approximation information to statistics.
- `storm-pomdp`: Implemented approximation algorithms that explore (a discritization of) the belief MDP, allowing to compute safe lower- and upper bounds for a given property. - `storm-pomdp`: Implemented approximation algorithms that explore (a discritization of) the belief MDP, allowing to compute safe lower- and upper bounds for a given property.
- `storm-pomdp`: Implemented almost-sure reachability computations: graph-based, one-shot SAT-based, and iterative SAT-based - `storm-pomdp`: Implemented almost-sure reachability computations: graph-based, one-shot SAT-based, and iterative SAT-based
- `storm-pomdp': Various changes such that transformation to pMCs is now again supported (and improved)
## Version 1.5.1 (2020/03) ## Version 1.5.1 (2020/03)
- Jani models are now parsed using exact arithmetic. - Jani models are now parsed using exact arithmetic.

Write Preview
Loading…
Cancel
Save