GitHub repository: moves-rwth/prophesy
Primary language: Python
Created: 2017-03-30T11:58:26Z
Description: Parameter Synthesis in Markov Models