Issues

• Support exact computations of discounted rewards

  stormchecker/storm#1193 · Filter by author sjunges opened on Oct 21, 2026

• Avoid reference to ExpressionManager in Pomdp

  stormchecker/storm#1188 · Filter by author volkm opened on Oct 21, 2026

• Improve certificate implementation

  stormchecker/storm#1186 · Filter by author volkm opened on Oct 20, 2026

• Use env for SMTSolver in more places

  stormchecker/storm#1185 · Filter by author volkm opened on Oct 20, 2026

• Consistent namespaces

  stormchecker/storm#1184 · Filter by author volkm opened on Oct 20, 2026

• Split BeliefBasedModelCheckerOptions

  source code enhancement
  stormchecker/storm#1174 · Filter by author AlexBork opened on Oct 16, 2026
  

• Support exporting and importing environments from json

  enhancement
  stormchecker/storm#1171 · Filter by author volkm opened on Oct 15, 2026

• Instantiation-checkers with double-checking require exact inputs

  enhancement
  stormchecker/storm#1169 · Filter by author sjunges opened on Oct 15, 2026

• Consider supporting dynamic variable orderings

  feature extension
  stormchecker/storm#1157 · Filter by author sjunges opened on Oct 14, 2026

• The role of bitvector variables

  source code enhancement
  stormchecker/storm#1150 · Filter by author sjunges opened on Oct 13, 2026

• SMT solvers / interface via string

  performance issues
  stormchecker/storm#1148 · Filter by author sjunges opened on Oct 13, 2026

• UMB: document what is supported

  documentation
  stormchecker/storm#1140 · Filter by author tquatmann opened on Oct 12, 2026

• MDP property disagrees under DdSylvanRationalRationalSearchEnvironment configuration

  bug
  stormchecker/storm#1136 · Filter by author vivoeiva opened on Oct 12, 2026
  3

• Solution bounds assertion fails on non converged OVI results

  stormchecker/storm#1132 · Filter by author TheGreatfpmK opened on Oct 12, 2026
  3

• PreferEliminationChecker

  API enhancement
  stormchecker/storm#1129 · Filter by author sjunges opened on Oct 10, 2026

• Eigen version in carl-storm and Storm

  Configuration/building improvements
  stormchecker/storm#1121 · Filter by author volkm opened on Oct 9, 2026

• Consistent ordering of ValueTypes for template instantiations

  source code enhancement
  stormchecker/storm#1113 · Filter by author volkm opened on Oct 5, 2026

• Distinguish omitted reward model references from the empty reward model name

  stormchecker/storm#1103 · Filter by author AlexBork opened on Sep 29, 2026

• Allow automatic formatting via Linter CI

  enhancement
  stormchecker/storm#1100 · Filter by author volkm opened on Sep 28, 2026

• PRISM observation parsing edge case bug

  bug with available workaround
  stormchecker/storm#1099 · Filter by author TheGreatfpmK opened on Sep 28, 2026
  3

• Consider porting model building improvements to PRISM model builder

  stormchecker/storm#1091 · Filter by author tquatmann opened on Sep 25, 2026

• Incorrect result with the default eqsolver settings

  stormchecker/storm#1076 · Filter by author TheGreatfpmK opened on Sep 24, 2026
  2

• Absorbing states in CTMC

  stormchecker/storm#1063 · Filter by author volkm opened on Sep 17, 2026
  2

• Incorrect result for simple model with negative rewards

  bug with available workaround
  stormchecker/storm#1061 · Filter by author TheGreatfpmK opened on Sep 16, 2026
  3

• Storm can almost model check weak until and release formulas.

  stormchecker/storm#1057 · Filter by author tquatmann opened on Sep 15, 2026