Software Open Access
moves-rwth/storm: v1.6.3
Christian Hensel; Tim Quatmann; Sebastian Junges; Matthias Volk; P. Berger; Gereon Kremer; jipspel; AlexanderBork; David; Timo P. Gros; Tom Janson; Jan Karuc; looomis; Joachim Klein; Daniel Basgöze; Sascha Vincent Kurowski; Florent Delgrange; spacefrogg; Arash Partow; Dimitri Bohlender; Enno Ruijters
- Added support for multi-objective model checking of long-run average objectives including mixtures with other kinds of objectives.
- Added support for generating optimal schedulers for globally formulae
- Simulator supports exact arithmetic
- Added switch
--no-simplifyto disable simplification of PRISM programs (which sometimes costs a bit of time on extremely large inputs) - Fixed issues with JANI inputs concerning
- transient variable expressions in properties,
- constants in properties, and
- integer variables with either only an upper or only a lower bound.
storm-pomdp: States can be labelled with values for observable predicatesstorm-pomdp: (Only API) Track state estimatesstorm-pomdp: (Only API) Reduce computation of state estimates to computation on unrolled MDP
Files
(12.2 MB)
| Name | Size | |
|---|---|---|
|
moves-rwth/storm-1.6.3.zip
md5:52e6d55955dac6e6f62420d9a7aed76e |
12.2 MB | Download |
159
148
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 159 | 19 |
| Downloads | 148 | 109 |
| Data volume | 2.0 GB | 1.3 GB |
| Unique views | 112 | 18 |
| Unique downloads | 77 | 54 |
Available in
Indexed in
Indexed in
- Publication date:
- November 24, 2020
- DOI:
-
- Related identifiers:
- Supplement to
- License (for files):
- Other (Open)