diff --git a/ReadMe.md b/ReadMe.md index 0b6b1b1e999ee9b51d0381fb92302b34e8d1ffc2..8922234b79010c3608c1b95f5e5affcb286f9376 100644 --- a/ReadMe.md +++ b/ReadMe.md @@ -1,6 +1,6 @@ # 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"