Merge branch 'tbadings-epistemic-patch-04642' into 'epistemic'

Update ReadMe.md

See merge request !1

ReadMe.md

 # Introduction of this ReadMe file
 
-This artefact contains the source code for the AAAI 2023 submission with the title:
+This artefact contains the source code for the paper with the title:
 
 - "Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty"