2 results found Sort:

moves-rwth
storm moves-rwth
73
125
gpl-3.0
16
A Modern Probabilistic Model Checker
mdp ctmc dtmc pomdp research fault-tree markov-chain model-checker model-checking
Created 2016-10-19
10,127 commits to master branch, last one 25 days ago
spedygiorgio
markovchain spedygiorgio
38
105
other
13
Easy Handling Discrete Time Markov Chains
cran ctmc dtmc rcpp r-package markov-chain markov-model r-programming
Created 2015-02-28
990 commits to master branch, last one 4 months ago