GitHub topics: ctmc
fluentverification/staminachecker.org
Website for STAMINA, the STochiastic Approximate (CTMC/DTMC) Model-checker for INfinite-state Analyis
Language: HTML - Size: 81.4 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 0 - Forks: 0
moves-rwth/storm
A Modern Probabilistic Model Checker
Language: C++ - Size: 195 MB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 147 - Forks: 80
spedygiorgio/markovchain
Easy Handling Discrete Time Markov Chains
Language: R - Size: 28.6 MB - Last synced at: 24 days ago - Pushed at: 6 months ago - Stars: 104 - Forks: 39
Theophilus-Dwamena/A-three-state-continuous-time-Markov-jump-model
Stochastic simulation of Enzyme kinetics at work
Language: Jupyter Notebook - Size: 612 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
kmedian/ctmc
Continuous Time Markov Chain
Language: Jupyter Notebook - Size: 89.8 KB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 16 - Forks: 5
fluentverification/stamina-storm
STAMINA - the STochiastic Approximate Model-checker for INfinite-state Analysis, integrated with the Storm model checking engine.
Language: C++ - Size: 2.1 MB - Last synced at: 5 months ago - Pushed at: 7 months ago - Stars: 5 - Forks: 2
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!
Language: Brainfuck - Size: 5.43 MB - Last synced at: about 2 months ago - Pushed at: over 3 years ago - Stars: 5 - Forks: 2
danieljsharpe/DISCOTRESS
🦜 DISCOTRESS 🦜 is a software package to simulate and analyse the dynamics on arbitrary Markov chains
Language: C++ - Size: 4.35 MB - Last synced at: about 2 months ago - Pushed at: almost 4 years ago - Stars: 25 - Forks: 5
fluentverification/stamina-server
STAMINA - the STochastic Approximate Model-checker for INfinite-state Analysis. Implemeted for servers with a REST API.
Language: Python - Size: 97.7 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 1 - Forks: 1
cazevedo/gspn-framework
Framework that allows the design, execution and analysis of generalized stochastic Petri nets (GSPN)
Language: Python - Size: 386 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 6 - Forks: 4
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.
Language: Python - Size: 5.99 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0
fluentverification/stamina-prism
STAMINA - STochastic Approximate Model-checker for INfinite-state Analysis, integrated with the PRISM model checking engine
Language: Java - Size: 23.4 MB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 4 - Forks: 3
cima22/stochastic_modelling_and_simulation
Repository that contains several Jupyter Notebooks about the course "Stocastic Modelling and Simulation".
Language: Jupyter Notebook - Size: 4.23 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
shalinshah1993/simulateTemporalDNAbarcodes
A set of Matlab scripts which can simulate temporal traces of DNA using CTMC
Language: MATLAB - Size: 487 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
innerlee/CTMCEnsemble.jl
Integrating Specialized Classifiers Based on Continuous Time Markov Chain
Language: Julia - Size: 1.71 MB - Last synced at: about 1 month ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
