Thanks to visit codestin.com
Credit goes to github.com

Skip to content

iMC changes inside of storm-pars #640

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
wants to merge 211 commits into
base: master
Choose a base branch
from
Open

iMC changes inside of storm-pars #640

wants to merge 211 commits into from

Conversation

@linusheck
Copy link
Contributor

Merge #627 first

linusheck and others added 30 commits February 12, 2024 16:33
@linusheck
Add Robust Parameter Lifting Algorithm
e16f242
@linusheck
Merge branch 'master' of github.com:moves-rwth/storm into robustpla
0d0675c
@linusheck
First version of horizon-bounded big-step and time-travelling
b829776
@linusheck
applyRowRobust optimization
fd8acbe
@linusheck
Revert changes in ValueIterationOperator.cpp
7cae91c
@linusheck
Add support for ill-defined regions
0e06f0c
@linusheck
Revert "Revert changes in ValueIterationOperator.cpp"
f2571c3 
This reverts commit 7cae91c.
@linusheck
WIP commit
135619b
@linusheck
Revert "Revert "Revert changes in ValueIterationOperator.cpp""
4b94de0 
This reverts commit f2571c3.
@linusheck
Best version of robust value iteration
bee2544
@linusheck
Fix: copy x here
49e2860
@tquatmann
New RegionRefinementChecker and AnnotatedRegion (work in progress)
a9f25c2
@linusheck
Almost works?
5a97d3d
@tquatmann
towards compiling again and a simpler ValidatingSparseParameterLiftin…
28f51ac 
…gModelChecker (work in progress)
@linusheck
A lot of stuff, everywhere
af044ee
@linusheck
Format
ac1d2f4
@linusheck
WIP refactor of TimeTravelling.cpp (does not compile yet)
d432df3
@tquatmann
towards compiling again and OrderBasedMonotonicityBackend (work in pr…
9c0ccc4 
…ogress)
@tquatmann
Finally compiling again. Not tested yet.
105b9d9
@tquatmann
work on order-based monotonicity backend & various fixes
d3cee7f
@tquatmann
Fixed build with cln numbers
878fe6f
@linusheck
refactor time-travelling
b325ea3
@linusheck
whoops
5f75b2a
@tquatmann
Fixed build with cln numbers [Part 2]
23d92f8
@linusheck
Fix cubicEquationZeroes code
faa786d
@tquatmann
3 fixes
b12e273
@linusheck
Correct preprocessing for b-vectors with intervals in ValueIterationH…
bd610ac 
…elper.h
@linusheck
Merge branch 'master' of github.com:moves-rwth/storm into robustpla
03c9f5d
@linusheck
Optimize time-travelling
26f31d6
@linusheck
Fix non-const ASSERT statement that broke in release mode
1595d86
@linusheck linusheck mentioned this pull request Oct 3, 2025
Closed
sjunges
sjunges reviewed Oct 3, 2025
View reviewed changes
sjunges
sjunges reviewed Oct 3, 2025
View reviewed changes
@linusheck
Copy link
Contributor Author

linusheck commented Oct 3, 2025 •
edited
Loading

whoops (will fix the CI on monday)

@linusheck
Copy link
Contributor Author

This is done from my side :)

sjunges
sjunges reviewed Oct 20, 2025
View reviewed changes
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@sjunges sjunges sjunges left review comments

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

1.12

Development

Successfully merging this pull request may close these issues.

3 participants

@linusheck @sjunges @tquatmann