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

Continuous Time Markov Chain

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.

Learn to get started using DISCOTRESS with these tutorials! Then apply to your own Markov chains in ecology 🦜🌴 economics 💸📈 biophysics 🧬🦠 and more!

STAMINA - the STochiastic Approximate Model-checker for INfinite-state Analysis, integrated with the Storm model checking engine.

STAMINA - STochastic Approximate Model-checker for INfinite-state Analysis, integrated with the PRISM model checking engine

Forecast short-horizon catalog attention on item graphs using CTMC + Wasserstein drift–diffusion (Retailrocket).

This project provides rigorous Python codes for simulating the stochastic movement of kinesin protein on a microtubule.

COVID-19 modeling with ODEs and Markov chains. Validation results are provided, including analysis of the outbreak under the so called 'dynamic clearing' strategy.

STAMINA - the STochastic Approximate Model-checker for INfinite-state Analysis. Implemeted for servers with a REST API.

Repository that contains several Jupyter Notebooks about the course "Stocastic Modelling and Simulation".

Website for STAMINA, the STochiastic Approximate (CTMC/DTMC) Model-checker for INfinite-state Analyis

Integrating Specialized Classifiers Based on Continuous Time Markov Chain

A set of Matlab scripts which can simulate temporal traces of DNA using CTMC

Federated benchmark estimation of bridge deterioration transition probabilities using a Continuous-Time Markov Chain (CTMC) hazard model trained with FedAvg. Raw inspection records never leave each client (municipality). Only 12-dimensional gradient vectors are communicated per round.

Stochastic simulation of Enzyme kinetics at work