Skip to content
Snippets Groups Projects
Commit 33c775c3 authored by Vincent Grande's avatar Vincent Grande
Browse files

added reference to main paper

parent e26c3a2b
Branches
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 4 additions and 0 deletions
README.md
+ 4
− 0
View file @ 33c775c3
# Restarting Markov Chains Experiments
## 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>
## Dependencies
In addition to standard python Packages, the experiments require an installation of the Storm Model Checker and Stormpy Python interface:
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment