From 61b68b521be80bf876c1f84585aab3ebeacf6900 Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Mon, 30 Sep 2019 21:35:41 +0200 Subject: [PATCH] added example file for parametric brp --- lib/stormpy/examples/files.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/lib/stormpy/examples/files.py b/lib/stormpy/examples/files.py index 48a51e5..1a0c3b5 100644 --- a/lib/stormpy/examples/files.py +++ b/lib/stormpy/examples/files.py @@ -27,6 +27,8 @@ drn_pdtmc_die = _path("pdtmc", "die.drn") """DRN format for a pDTMC for the KY-Die""" jani_dtmc_die = _path("dtmc", "die.jani") """Jani Version of Knuth Yao Die Example""" +prism_pdtmc_brp = _path("pdtmc", "brp16_2.pm") +"""Bounded retransmission protocol with parameters""" prism_mdp_coin_2_2 = _path("mdp", "coin2-2.nm") """Prism example for coin MDP""" prism_pmdp_coin_two_dice = _path("pmdp", "two_dice.nm")