Commit 36790182 authored by Thom Badings's avatar Thom Badings
Browse files

Update README.md

parent 8124679b
......@@ -2,7 +2,7 @@
This is an implementation of the approach proposed in the paper:
- [1] "Scenario-Based Verification of Uncertain Parametric MDPs" by Thom Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, and Ufuk Topcu. STTT 2022.
- [1] "Scenario-Based Verification of Uncertain Parametric MDPs" by Thom Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, and Ufuk Topcu. To appear in STTT (2022).
## 1. Installation from source
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment