A Modern Probabilistic Model Checker
-
Updated
Jul 2, 2025 - C++
#
dtmc
Here are 7 public repositories matching this topic...
Easy Handling Discrete Time Markov Chains
-
Updated
Nov 13, 2024 - 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
Jul 29, 2021 - 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
Sep 12, 2021 - 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
Oct 22, 2024 - C++
Repository that contains several Jupyter Notebooks about the course "Stocastic Modelling and Simulation".
-
Updated
Sep 10, 2022 - Jupyter Notebook
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."