A Modern Probabilistic Model Checker
-
Updated
Aug 14, 2024 - C++
A Modern Probabilistic Model Checker
Easy Handling Discrete Time Markov Chains
🦜 DISCOTRESS 🦜 is a software package to simulate and analyse the dynamics on arbitrary Markov chains
STAMINA - the STochiastic Approximate Model-checker for INfinite-state Analysis, integrated with the Storm model checking engine.
Learn to get started using DISCOTRESS with these tutorials! Then apply to your own Markov chains in ecology 🦜🌴 economics 💸📈 biophysics 🧬🦠 and more!
Repository that contains several Jupyter Notebooks about the course "Stocastic Modelling and Simulation".
Add a description, image, and links to the dtmc topic page so that developers can more easily learn about it.
To associate your repository with the dtmc topic, visit your repo's landing page and select "manage topics."