Skip to content

Issues: moves-rwth/stormvogel

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

22 Open 58 Closed
22 Open 58 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

change remove_state funcion to allow for reasigning of ids without normalizing
#125 opened Nov 1, 2024 by PimLeerkes
@PimLeerkes
create get_sub_model method
#124 opened Nov 1, 2024 by PimLeerkes
@PimLeerkes
notebooks cannot import modules from examples
#123 opened Oct 31, 2024 by PimLeerkes
Stormpy to stormvogel mapping assumes state 0 is the initial state
#122 opened Oct 29, 2024 by lukovdm
@PimLeerkes
make the visualization usable without needing to install storm(py)
#121 opened Oct 21, 2024 by PimLeerkes
fix the action dicts equality in models
#119 opened Oct 18, 2024 by PimLeerkes
@PimLeerkes
Add naive value iteration to library
#117 opened Oct 15, 2024 by YouGuessedMyName
Restructure visualization files?
#116 opened Oct 14, 2024 by YouGuessedMyName
fix forever looping notebook in CI
#108 opened Oct 4, 2024 by PimLeerkes
1
markov automata test keeps failing in the pipeline
#107 opened Oct 4, 2024 by PimLeerkes
make a stormvogel model checking function
#101 opened Sep 20, 2024 by PimLeerkes
@PimLeerkes
Annoying type check problem when considering models of known type
#92 opened Sep 17, 2024 by linusheck
Add support for multi objective results
#73 opened Aug 31, 2024 by PimLeerkes
Add features to the mappings and compare them in the tests
#71 opened Aug 31, 2024 by PimLeerkes
Integrate gridstorm repo
#70 opened Aug 31, 2024 by sjunges
Slides
#63 opened Aug 20, 2024 by volkm
Support for LTS exchange formats
#62 opened Aug 20, 2024 by volkm
Topological sort for displaying models stretch goal visuals
#43 opened Jul 25, 2024 by sjunges
1
Syntax highligting for prism boxes stretch goal
#36 opened Jul 16, 2024 by sjunges
1
Use Markov chain / MDP simulator and show partial MDPs stretch goal
#33 opened Jul 12, 2024 by linusheck
1
@PimLeerkes
Parametric markov chains and MDPs :0 stretch goal
#31 opened Jul 12, 2024 by linusheck
@PimLeerkes
Change initial state behavior in stormpy
#30 opened Jul 12, 2024 by linusheck
@linusheck
ProTip! Updated in the last three days: updated:>2024-10-29.