2 results found Sort:

moves-rwth
storm moves-rwth
75
141
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,210 commits to master branch, last one 5 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,006 commits to master branch, last one about a month ago