stormpy icon indicating copy to clipboard operation
stormpy copied to clipboard

Published 20 hours ago • verified publisher icon moves-rwth
→

Metadata

Python Bindings for the Probabilistic Model Checker Storm

Results 32 stormpy issues
Sort by recently updated
recently updated
newest added

Make the simulator usable in the case of markov automata

1 comment

It seems that when using the simulator on an MA, it doesn't work because MAs do not have an nr_available_actions method.

PimLeerkes avatar PimLeerkes

Bump peter-evans/create-pull-request from 6 to 7

Bumps [peter-evans/create-pull-request](https://github.com/peter-evans/create-pull-request) from 6 to 7. Release notes Sourced from peter-evans/create-pull-request's releases. Create Pull Request v7.0.0 :sparkles: Now supports commit signing with bot-generated tokens! See "What's new" below. :writing_hand::robot: Behaviour...

dependabot[bot] avatar dependabot[bot]

dependencies

← Metadata

18
Stars
10
Forks
Watchers

Owner

verified publisher icon moves-rwth

Metadata

Python Bindings for the Probabilistic Model Checker Storm

Back