ctmc
There are 14 repositories under ctmc topic.
moves-rwth/storm
A Modern Probabilistic Model Checker
spedygiorgio/markovchain
Easy Handling Discrete Time Markov Chains
danieljsharpe/DISCOTRESS
π¦ DISCOTRESS π¦ is a software package to simulate and analyse the dynamics on arbitrary Markov chains
kmedian/ctmc
Continuous Time Markov Chain
cazevedo/gspn-framework
Framework that allows the design, execution and analysis of generalized stochastic Petri nets (GSPN). It allows capturing multi-robot problems as a GSPN and simulate the model.
danieljsharpe/DISCOTRESS_tutorials
Learn to get started using DISCOTRESS with these tutorials! Then apply to your own Markov chains in ecology π¦π΄ economics πΈπ biophysics π§¬π¦ and more!
fluentverification/stamina-storm
STAMINA - the STochiastic Approximate Model-checker for INfinite-state Analysis, integrated with the Storm model checking engine.
fluentverification/stamina-prism
STAMINA - STochastic Approximate Model-checker for INfinite-state Analysis, integrated with the PRISM model checking engine
cima22/stochastic_modelling_and_simulation
Repository that contains several Jupyter Notebooks about the course "Stocastic Modelling and Simulation".
dongmingli-Ben/covid-19-modeling
COVID-19 modeling with ODEs and Markov chains. Validation results are provided, including analysis of the outbreak under the so called 'dynamic clearing' strategy.
fluentverification/stamina-server
STAMINA - the STochastic Approximate Model-checker for INfinite-state Analysis. Implemeted for servers with a REST API.
fluentverification/staminachecker.org
Website for STAMINA, the STochiastic Approximate (CTMC/DTMC) Model-checker for INfinite-state Analyis
innerlee/CTMCEnsemble.jl
Integrating Specialized Classifiers Based on Continuous Time Markov Chain
shalinshah1993/simulateTemporalDNAbarcodes
A set of Matlab scripts which can simulate temporal traces of DNA using CTMC