diff --git a/README.md b/README.md index 10d18e637a09ccc03b0acf2d7b2d4ac902fcd089..4007d7a8947c90b7ef69b7d0d387706e2a78deb7 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