|
|
@ -8,7 +8,9 @@ Version 1.4.x |
|
|
------------- |
|
|
------------- |
|
|
|
|
|
|
|
|
## Version 1.4.2 (under development) |
|
|
## Version 1.4.2 (under development) |
|
|
- n.a. |
|
|
|
|
|
|
|
|
- `storm-pomdp`: Only accept POMDPs that are canonical |
|
|
|
|
|
- `storm-pomdp`: Prism language extended with observable expressions |
|
|
|
|
|
- `storm-pomdp`: Various fixes that prevented usage. |
|
|
|
|
|
|
|
|
### Version 1.4.1 (2019/12) |
|
|
### Version 1.4.1 (2019/12) |
|
|
- Implemented long run average (LRA) computation for DTMCs/CTMCs via value iteration and via gain/bias equations. |
|
|
- Implemented long run average (LRA) computation for DTMCs/CTMCs via value iteration and via gain/bias equations. |
|
|
|
Sebastian Junges
5 years ago