A Modern Probabilistic Model Checker
-
Updated
Dec 19, 2024 - C++
#
ctmc
Here are 14 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++
Continuous Time Markov Chain
pypi markov-chain ctmc transition-matrix stochastic-matrix transition-probability continuous-time-markov-chain
-
Updated
Sep 27, 2019 - Jupyter Notebook
Framework that allows the design, execution and analysis of generalized stochastic Petri nets (GSPN). It allows capturing multi-robot problems as a GSPN and simulate the model.
-
Updated
Jan 9, 2023 - Python
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++
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 - STochastic Approximate Model-checker for INfinite-state Analysis, integrated with the PRISM model checking engine
-
Updated
Aug 10, 2023 - Java
Repository that contains several Jupyter Notebooks about the course "Stocastic Modelling and Simulation".
-
Updated
Sep 10, 2022 - Jupyter Notebook
STAMINA - the STochastic Approximate Model-checker for INfinite-state Analysis. Implemeted for servers with a REST API.
-
Updated
Aug 14, 2024 - Python
Website for STAMINA, the STochiastic Approximate (CTMC/DTMC) Model-checker for INfinite-state Analyis
-
Updated
Nov 21, 2024 - HTML
A set of Matlab scripts which can simulate temporal traces of DNA using CTMC
-
Updated
Mar 10, 2020 - MATLAB
Improve this page
Add a description, image, and links to the ctmc topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the ctmc topic, visit your repo's landing page and select "manage topics."