https://github.com/moves-rwth/prophesy
Parameter Synthesis in Markov Models
markov-chain
model-checking
parameters
research
Added: over 1 year ago - Last Synced: 11 months ago
- Created: March 30, 2017
- Relevant topics? true
- External users? true
- Open source license? true
- Active? true
- Fork? false
- Main Language: Python
- Commits: 1174
- Committers: 18
- Issues: 7
- Pull Requests: 1
- Owner: moves-rwth
- Stars: 6
- Forks: 4
- Packages: 1
- Downloads: 24
