There is a newer version of the record available.

Published May 31, 2023 | Version 1.8.0
Software Open

moves-rwth/storm: v1.8.0

Creators

  • 1. @moves-rwth
  • 2. Radboud University
  • 3. University of Twente, previously @moves-rwth
  • 4. RWTH Aachen University
  • 5. Saarland University
  • 6. Ex TU Dresden, Germany
  • 7. Amazon Europe (@amzn)
  • 8. AI Lab, Vrije Universiteit Brussel
  • 9. @fluentverification
  • 10. BetterBe

Description

  • Revised implementation of value iteration algorithms and its variants, fixing a bug in the optimistic value iteration heuristic.
  • Experimental support for compiling on Apple Silicon.
  • Added SoPlex as a possible LP solver.
  • Upgraded shipped version of sylvan.
  • Upgraded repo / version for carl (for polynomials), requires carl-storm in at least version 14.23.
  • Removed support for just-in-time compilation (JIT). If the JIT engine is needed, use Storm version 1.7.0.
  • storm-dft: better modularization: improved algorithm for finding independent modules and revised the DFT analysis via modularization.
  • storm-dft: added checks whether a given DFT is well-formed and conventional.
  • storm-pomdp: streamlined implementation for quantitative analysis.
  • storm-pomdp: added clipping for POMDP under-approximation.
  • storm-pomdp: added API for interactive exploration of belief MDPs.
  • Developer: Introduced forward declarations (in their own headers), in particular for storm::RationalNumber, storm::RationalFunction, and storm::json.
  • Developer: LpSolver interface now supports RawMode (to avoid overhead of storm::expression) and indicator constraints.

Files

moves-rwth/storm-1.8.0.zip

Files (14.7 MB)

Name Size Download all
md5:bea74a7662cbb475d6d00c69dcab1e5a
14.7 MB Preview Download

Additional details

Related works

Is supplement to
https://github.com/moves-rwth/storm/tree/1.8.0 (URL)