Matthias Volk
4 years ago
No known key found for this signature in database
GPG Key ID: 83A57678F739FCD3
1 changed files with
3 additions and
0 deletions
-
CHANGELOG.md
|
|
|
@ -6,10 +6,13 @@ Version 1.6.x |
|
|
|
|
|
|
|
### Version 1.6.1 (under development) |
|
|
|
|
|
|
|
- Adaptions to changes in Storm |
|
|
|
- Explicit State Lookup: Finding a state based on the variable values |
|
|
|
- Support for pPOMDPs |
|
|
|
- (p)POMDPs: Support for unfolding memory, making POMDPs simple, and exporting POMDP to a pMC |
|
|
|
- Export to DRN options to support exporting without placeholders |
|
|
|
- Renamed `preprocess_prism_program` to `preprocess_symbolic_input` |
|
|
|
- Bindings for Storm-dft; most notably transformations, symmetries and relevant events |
|
|
|
|
|
|
|
### Version 1.6.0 (2020/06) |
|
|
|
Requires storm version >= 1.6.0 and pycarl version >= 2.0.4 |
|
|
|
|
