2 results found Sort:

77
143
gpl-3.0
15
A Modern Probabilistic Model Checker
Created 2016-10-19
10,217 commits to master branch, last one 9 days ago
Easy Handling Discrete Time Markov Chains
Created 2015-02-28
1,006 commits to master branch, last one 2 months ago