From 24e71f31777fa28a57a178cc658db7744e00a2db Mon Sep 17 00:00:00 2001
From: Vincent Grande <grande@cs.rwth-aachen.de>
Date: Mon, 8 Jan 2024 15:33:34 +0100
Subject: [PATCH] added funding

---
 README.md | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 3043462..9ebf311 100644
--- a/README.md
+++ b/README.md
@@ -2,7 +2,7 @@
 
 ## Main Paper
 
-The main paper "Black-box Testing Liveness Properties of Partially Observable Stochastic Systems" can be found under <https://drops.dagstuhl.de/storage/00lipics/lipics-vol261-icalp2023/LIPIcs.ICALP.2023.126/LIPIcs.ICALP.2023.126.pdf>
+The main paper "Black-box Testing Liveness Properties of Partially Observable Stochastic Systems", Javier Esparza and Vincent P. Grande, can be found under <https://drops.dagstuhl.de/storage/00lipics/lipics-vol261-icalp2023/LIPIcs.ICALP.2023.126/LIPIcs.ICALP.2023.126.pdf>
 
 ## Dependencies
 
@@ -16,4 +16,8 @@ The Population Protocol Experiments can be found in one Notebook, and the other
 
 ## Multiprocessing
 
-The experiments make use of multiprocessing by default. Please adjust the number of cores used to your preferences. The Notebooks have been tested on a MacBook Pro 2021 with a 10 core M1 Pro Processor and 32 GB of RAM, and a Linux server with 2*16 core Intel Xeon with 768 GB of RAM.
\ No newline at end of file
+The experiments make use of multiprocessing by default. Please adjust the number of cores used to your preferences. The Notebooks have been tested on a MacBook Pro 2021 with a 10 core M1 Pro Processor and 32 GB of RAM, and a Linux server with 2*16 core Intel Xeon with 768 GB of RAM.
+
+## Funding 
+Javier Esparza: Partially funded by the DFG within Research Training Group 2428 CONVEY. Vincent P. Grande: Funded by the DFG (German Research Foundation) under Research Training
+Group 2236/2 UnRAVeL.
\ No newline at end of file
-- 
GitLab