GitHub topics: dtmc
moves-rwth/storm
A Modern Probabilistic Model Checker
Language: C++ - Size: 195 MB - Last synced at: 19 days ago - Pushed at: 19 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
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
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
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
