2 results found Sort:

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