Conditional model checking#887

Merged

lukovdm merged 62 commits intostormchecker:masterfrom

lukovdm:conditional-model-checking

Apr 23, 2026

Commits on Mar 4, 2026

Commits on Mar 5, 2026

Commits on Mar 6, 2026

Update ExplicitQualitativeCheckResult usage to use SolutionType and include IntervalForward in tests
lukovdm
committed
Fix other qualitative check result value types
lukovdm
committed

Commits on Mar 10, 2026

Commits on Mar 11, 2026

Commits on Mar 19, 2026

Merge remote-tracking branch 'origin/master' into exactIntervals
lukovdm
committed
Merge branch 'master' into exactIntervals
lukovdm
committed
Refactor AddUncertainty transformer to use ValueType for uncertainty parameters and update tests accordingly
lukovdm
committed
Fix logic in AddUncertainty transformer to handle maxSuccessors condition correctly
lukovdm
committed
Fix default value of argument not convertable to rational numbers for cln
lukovdm
committed
Fix conversion error in robust model checking test
lukovdm
committed
Update makeUncertainAndCheckRational to use storm::RationalNumber for uncertainty parameter
lukovdm
committed
Fix test
lukovdm
committed

Commits on Mar 24, 2026

Commits on Apr 1, 2026

add uncertainty resolution mode to multipliers and enable next properties for interval models
lukovdm
committed

Commits on Apr 2, 2026

Merge branch 'master' into exactIntervals
lukovdm
committed

Commits on Apr 8, 2026

Merge branch 'exactIntervals' into conditional-model-checking
lukovdm
committed

Commits on Apr 9, 2026

Add support for RationalInterval in DirectEncodingExporter
lukovdm
committed

Commits on Apr 20, 2026

Commits on Apr 23, 2026