Update PCTL output to csv

sybila / eBCSgen

eBCSgen - BioChemical Space Language support tool.

https://ebcsgen.readthedocs.io/

MIT License

2 stars 4 forks source link

Update PCTL output to csv #64

Closed xtrojak closed 2 years ago

xtrojak commented 2 years ago

Change PCTL parameter synthesis from Storm output to a more general CSV.

from_param_block,to_param_block,from_param_sig,to_param_sig,value
21/40,1,1/10,7/20,AllSat
27/160,23/80,43/80,3/5,AllViolated
73/320,33/128,137/320,71/160,AllViolated
131/1024,337/2560,331/2560,21/160,Unknown