EECI 2020: Computer Session: stormpy: Difference between revisions