Browse Source

added example file for parametric brp

refactoring
Sebastian Junges 5 years ago
parent
commit
61b68b521b
  1. 2
      lib/stormpy/examples/files.py

2
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""" """DRN format for a pDTMC for the KY-Die"""
jani_dtmc_die = _path("dtmc", "die.jani") jani_dtmc_die = _path("dtmc", "die.jani")
"""Jani Version of Knuth Yao Die Example""" """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_mdp_coin_2_2 = _path("mdp", "coin2-2.nm")
"""Prism example for coin MDP""" """Prism example for coin MDP"""
prism_pmdp_coin_two_dice = _path("pmdp", "two_dice.nm") prism_pmdp_coin_two_dice = _path("pmdp", "two_dice.nm")

Loading…
Cancel
Save