2 results found Sort:

moves-rwth
storm moves-rwth
75
135
gpl-3.0
15
A Modern Probabilistic Model Checker
mdp ctmc dtmc pomdp research fault-tree markov-chain model-checker model-checking
Created 2016-10-19
10,197 commits to master branch, last one 8 days ago
spedygiorgio
markovchain spedygiorgio
39
105
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,005 commits to master branch, last one about a month ago