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

Support for interval models #469

Open

7 tasks

sjunges opened this issue Dec 10, 2023 · 0 comments

Labels

enhancement help wanted

Milestone

Contributor

sjunges commented Dec 10, 2023

With #409, storm has now preliminary support for intervals. This is by no means stable. Some important feature that we are still missing are:

Explicit support for solving on DTMCs -- the DTMCs must be declared as MDPs
Support for rewards
Bounded reachability properties
Topological VI
Convenience functions to remove uncertainty (e.g., by taking the 'center').
support for robustness in formulas
Generating interval models from PRISM/JANI

sjunges mentioned this issue

Support for interval-based transitions in storm #409

Merged

10 tasks

sjunges added enhancement help wanted labels

sjunges added this to the long-term milestone

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment