From 74fdd44b976e3562e204b08c307987b37fd519dc Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 14 Jan 2021 23:57:59 +0000
Subject: [PATCH] README (contributor list).

---
 README.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/README.md b/README.md
index 10d18e637..4007d7a89 100644
--- a/README.md
+++ b/README.md
@@ -83,6 +83,7 @@ Development of the tool is currently led from Birmingham by Dave Parker. Other c
 We gratefully acknowledge contributions to the PRISM code-base from various sources,
 including (in approximately reverse chronological order):
 
+ * Xueyi Zou: Partially observable Markov decision processes (POMDPs)
  * Steffen Märcker: Fixes and improvements, especially in explicit engine
  * Chris Novakovic: Build infrastructure and explicit engine improvements
  * Ernst Moritz Hahn: Parametric model checking, fast adaptive uniformisation + various other features
-- 
GitLab