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