IMDPs: Improved support for reachability rewards and reachability probabilities - #853

Draft

tquatmann wants to merge 19 commits into

stormchecker:masterfrom

tquatmann:feature/imdp-properties

Commits on Nov 12, 2025

Implemented support for reachability probabilities, reach-reward and propositional model checking for interval DTMCs
plindnercs
committed
Applied code formatting
plindnercs
committed
Check for Z3 being available on certain tests
plindnercs
committed

Commits on Nov 17, 2025

Merge remote-tracking branch 'upstream/master' into imc-reachability-probabilities
plindnercs
committed

Commits on Nov 18, 2025

Merge remote-tracking branch 'upstream/master' into imc-reachability-probabilities
plindnercs
committed

Commits on Nov 21, 2025

Merge remote-tracking branch 'upstream/master' into imc-reachability-probabilities
plindnercs
committed

Commits on Dec 8, 2025

Merge remote-tracking branch 'upstream/master' into imc-reachability-probabilities
plindnercs
committed

Commits on Dec 10, 2025

Implemented explicit flag 'uncertainty-resolution' to decide how the uncertainty should be resolved by nature. This flag is required as soon as interval models are being checked.
plindnercs
committed

Commits on Dec 16, 2025

fixed warnings
plindnercs
committed

Commits on Dec 29, 2025

Commits on Jan 3, 2026

Commits on Jan 5, 2026

Avoid include of IntervalAdapter.h in ConstantsComparator.h
volkm
committed

Commits on Jan 6, 2026

Merge from branch 'master'
volkm
committed

Commits on Jan 9, 2026

Commits on Jan 10, 2026

Fix test case.
tquatmann
committed