From 4df93b16858bbdf2d2aba93c0555d7ec6be33b38 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@gmail.com>
Date: Thu, 9 Jul 2020 22:59:36 -0700
Subject: [PATCH] update changelog 1.6.0 and 1.6.1 regarding POMDPs

---
 CHANGELOG.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index f383d27..9f0d11b 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -6,6 +6,10 @@ Version 1.6.x
 
 ### Version 1.6.1 (under development)
 
+- 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
+
 ### Version 1.6.0 (2020/06)
 Requires storm version >= 1.6.0 and pycarl version >= 2.0.4
 
@@ -15,6 +19,8 @@ Requires storm version >= 1.6.0 and pycarl version >= 2.0.4
 - Extended expression operators with {conjunction, disjunction}
 - Added information collector to extract information from jani models
 - Bindings for elimination of chains of non-Markovian states
+- Early support for POMDPs
+- Early support for simulations on explicit-state models 
 
 
 Version 1.5.x