ctmc

There are 1 repository under ctmc topic.

• storm

  moves-rwth / storm

  A Modern Probabilistic Model Checker

  model-checkingmarkov-chaindtmcmdpctmcresearchfault-treemodel-checkerpomdp
  Language:C++ 124

• spedygiorgio / markovchain

  Easy Handling Discrete Time Markov Chains

  markov-chainmarkov-modelr-packager-programmingrcppcrandtmcctmc
  Language:R 103

• danieljsharpe / DISCOTRESS

  🦜 DISCOTRESS 🦜 is a software package to simulate and analyse the dynamics on arbitrary Markov chains

  simulationkinetic-monte-carloenhanced-samplingrare-eventsnetwork-dynamicsmarkov-modelmarkov-chaincontinuous-time-markov-chainstochastic-processesstochastic-simulation-algorithmstochastic-simulationmarkov-processsimulation-algorithmsmarkovian-dynamicsmarkov-chainsrandom-walkk-shortest-pathsdtmcctmc
  Language:C++ 24

• kmedian / ctmc

  Continuous Time Markov Chain

  ctmcpypimarkov-chaintransition-matrixstochastic-matrixtransition-probabilitycontinuous-time-markov-chain
  Language:Jupyter Notebook 14

• cazevedo / gspn-framework

  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.

  petri-netsstochastic-petri-netsdiscrete-event-systemsanalysisctmcroboticsrosmulti-robot
  Language:Python 7
• stamina-storm

  fluentverification / stamina-storm

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

  ctmcformal-methodsformal-verificationgraph-theorymodel-checkingtransient-analysismarkov-chaindtmc
  Language:C++ 5

• danieljsharpe / DISCOTRESS_tutorials

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

  markov-chaintutorialsmarkov-processstochastic-simulationdiscrete-event-simulationkinetic-monte-carlonetwork-dynamicsrare-eventsmarkov-modelrandom-walkmarkovian-dynamicsdtmcctmcmarkov-decision-processesmarkov-decision-processsimulationstochastic-simulation-algorithmstochastic-dynamics
  Language:Brainfuck 4
• stamina-prism

  fluentverification / stamina-prism

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

  ctmcformal-methodsformal-verificationmarkov-chain
  Language:Java 4

• cima22 / stochastic_modelling_and_simulation

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

  dtmcstochastic-processesctmc
  Language:Jupyter Notebook 2

• dongmingli-Ben / covid-19-modeling

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

  covid-19ode-modeldtmcctmcpredictionanalysis
  Language:Python 1

• fluentverification / stamina-server

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

  apiapi-restctmcmarkov-chainrestrest-apiserverserver-side
  Language:Python 1

• fluentverification / staminachecker.org

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

  approximationctmcstochasticverification
  Language:HTML

• innerlee / CTMCEnsemble.jl

  Integrating Specialized Classifiers Based on Continuous Time Markov Chain

  ctmcensembleijcai-17
  Language:Julia

• shalinshah1993 / simulateTemporalDNAbarcodes

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

  dnactmckineticssimulatetemporaldnabarcodesmatlab-functions
  Language:MATLAB