Software Open Access

moves-rwth/storm: v1.4.1

Christian Hensel; Tim Quatmann; Sebastian Junges; Matthias Volk; P. Berger; nafur; jipspel; AlexanderBork; David; Timo P. Gros; Tom Janson; looomis; Joachim Klein; Sascha Vincent Kurowski; Florent Delgrange; spacefrogg; Arash Partow; Enno Ruijters

  • Implemented long run average (LRA) computation for DTMCs/CTMCs via value iteration and via gain/bias equations.
  • Added several LRA related settings in a new settings module. Note that --minmax:lramethod has been replaced by --lra:nondetmethod.

Files (24.9 MB)
Name Size
moves-rwth/storm-1.4.1.zip
md5:a9afc59a0a64fec03a2e379f6f7b7115
24.9 MB Download
39
11
views
downloads
All versions This version
Views 3914
Downloads 110
Data volume 264.3 MB0 Bytes
Unique views 2910
Unique downloads 50

Share

Cite as