A Modern Probabilistic Model Checker
-
Updated
Oct 30, 2024 - C++
#
dtmc
Here are 7 public repositories matching this topic...
Easy Handling Discrete Time Markov Chains
-
Updated
Oct 7, 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."