Search results

Should RationalNumberAdapter.h include RationalNumberForward.h?

Status: Open.

#838 In moves-rwth/storm;

· volkm opened on Dec 4, 2025

Differences in CTMC bisimulation quotient

Status: Open.

#833 In moves-rwth/storm;

· volkm opened on Dec 3, 2025

storm::utility::isLess is broken for nonzero precision/tolerance.

Status: Open.

#831 In moves-rwth/storm;

· sjunges opened on Dec 2, 2025

Discrepancies in LRA results (exact vs non-exact and in Docker vs outside Docker)

Status: Open.

#824 In moves-rwth/storm;

· marisgg opened on Nov 27, 2025

Expressions: Integer vs. floating point division

Status: Open.

#823 In moves-rwth/storm;

· tquatmann opened on Nov 27, 2025

DD-based DTMC model checking with lower time bounds?

Status: Open.

#818 In moves-rwth/storm;

· sjunges opened on Nov 21, 2025

Consistently use MissingLibraryException

enhancement

Status: Open.

#817 In moves-rwth/storm;

· volkm opened on Nov 21, 2025

Simulating continuous time models

Status: Open.

#816 In moves-rwth/storm;

· hobborg opened on Nov 20, 2025

Add support for explicit scheduler-nature optimization directions in uncertain (interval) models

Status: Open.

#807 In moves-rwth/storm;

· plindnercs opened on Nov 12, 2025

Storm --additional-checks

Status: Open.

#803 In moves-rwth/storm;

· sjunges opened on Nov 7, 2025

Export to jani does not support PredicateExpressions

feature extension

good first issue

help wanted

Status: Open.

#800 In moves-rwth/storm;

· sjunges opened on Nov 2, 2025

Update to Eigen 5.0.0

Status: Open.

#791 In moves-rwth/storm;

· tquatmann opened on Oct 1, 2025