2 results found Sort:

moves-rwth
storm moves-rwth
80
147
gpl-3.0
12
A Modern Probabilistic Model Checker
mdp ctmc dtmc pomdp research fault-tree markov-chain model-checker model-checking
Created 2016-10-19
10,253 commits to master branch, last one 11 days ago
spedygiorgio
markovchain spedygiorgio
39
104
other
11
Easy Handling Discrete Time Markov Chains
cran ctmc dtmc rcpp r-package markov-chain markov-model r-programming
Created 2015-02-28
1,006 commits to master branch, last one 5 months ago