Create function to read in PRISM models #29
Description
Using Jajapy, Stormpy, or Storm, read in PRISM models and convert them to a CuPAAL representation.
Metadata
Metadata
Assignees
Labels
Type
Projects
Status
{{ message }}
Using Jajapy, Stormpy, or Storm, read in PRISM models and convert them to a CuPAAL representation.
Status