diff --git a/README.md b/README.md index 30434629109279e7a18ec9c2f645a4ed139f474a..9ebf311022cecb3135ce9f1ff6f341b6565a706c 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