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

refer to storm-pomdp in changelog

tempestpy_adaptions
Sebastian Junges 6 years ago
parent
035bbd0952
commit
cc78629dda
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
- Added support for expected time properties for discrete time models - Added support for expected time properties for discrete time models
- Bug fix in the parser for DRN (MDPs and MAs might have been affected). - Bug fix in the parser for DRN (MDPs and MAs might have been affected).
- Several bug fixes related to jani - Several bug fixes related to jani
- New binary `storm-pomdp` that handles the translation of POMDPs to pMCs.
- `storm-gspn`: Improved .pnpro parser - `storm-gspn`: Improved .pnpro parser
- `storm-gspn`: Added support for single/infinite/k-server semantics for GSPNs given in the .pnpro format - `storm-gspn`: Added support for single/infinite/k-server semantics for GSPNs given in the .pnpro format
- `storm-gspn`: Added option to set a global capacity for all places - `storm-gspn`: Added option to set a global capacity for all places

Write Preview
Loading…
Cancel
Save