From 618b0b5b5e0b8d20f97ac1c773ac45c30f259c5e Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Mon, 7 Sep 2020 14:23:40 +0200 Subject: [PATCH] Updated CHANGELOG --- CHANGELOG.md | 1 + 1 file changed, 1 insertion(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index eaa9077..e4d09c0 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -8,6 +8,7 @@ Version 1.6.x Requires storm version >= 1.6.2 and pycarl version >= 2.0.4 - Adaptions to changes in Storm +- Create models (DTMC, MDP, CTMC, MA) directly from model components. Support creation of transition matrix, labeling, reward models, etc. - 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