A Modern Probabilistic Model Checker
- Updated
- C++
#
dtmc
Here are 8 public repositories matching this topic...
Easy Handling Discrete Time Markov Chains
- Updated
- R
🦜 DISCOTRESS 🦜 is a software package to simulate and analyse the dynamics on arbitrary Markov chains
markov-model simulation markov-chain kinetic-monte-carlo markov-chains stochastic-processes stochastic-simulation-algorithm markov-process random-walk ctmc enhanced-sampling stochastic-simulation dtmc network-dynamics rare-events k-shortest-paths markovian-dynamics continuous-time-markov-chain simulation-algorithms
- Updated
- C++
Learn to get started using DISCOTRESS with these tutorials! Then apply to your own Markov chains in ecology 🦜🌴 economics 💸📈 biophysics 🧬🦠 and more!
markov-model simulation markov-chain tutorials kinetic-monte-carlo markov-decision-processes stochastic-simulation-algorithm markov-process random-walk ctmc discrete-event-simulation stochastic-simulation dtmc network-dynamics rare-events markovian-dynamics markov-decision-process stochastic-dynamics
- Updated
- Brainfuck
STAMINA - the STochiastic Approximate Model-checker for INfinite-state Analysis, integrated with the Storm model checking engine.
markov-chain graph-theory model-checking formal-methods formal-verification ctmc transient-analysis dtmc
- Updated
- C++
Repository that contains several Jupyter Notebooks about the course "Stocastic Modelling and Simulation".
- Updated
- Jupyter Notebook
This repository contains a DTMC model written in the PRISM modeling language.
- Updated
Improve this page
Add a description, image, and links to the dtmc topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the dtmc topic, visit your repo's landing page and select "manage topics."