• PRISM

  • Referenced in 442 articles [sw01186]
  • probabilistic models: discrete-time Markov chains, Markov decision processes and continuous-time Markov chains. Analysis...
  • MCQueue

  • Referenced in 149 articles [sw05198]
  • MCQueue: educational software for Markov Chains and Queues (non-commercial use) This software package contains ... analysis of discrete-time and continuous-time Markov chains up to 100 states. The other...
  • LBS

  • Referenced in 15 articles [sw12372]
  • coloured Petri nets, ODEs and continuous-time Markov chains are also given...
  • APNN-Toolbox

  • Referenced in 11 articles [sw06976]
  • GreatSPN and a tool for the process chain formalism employed in the modeling of logistic ... representation. Quantitative analysis focuses on continuous time Markov chains (CTMCs) and their transient or steady...
  • SpiCO

  • Referenced in 10 articles [sw10691]
  • SpiCO in terms of continuous time Markov chains, and show how to compile SpiCO back...
  • Visual DSD

  • Referenced in 10 articles [sw35128]
  • deterministic simulation, construction of continuous-time Markov chains and various export formats which allow models...
  • DiPro

  • Referenced in 4 articles [sw09744]
  • discrete time Markov chains (DTMCs), continuous time Markov chains (CTMCs) and Markov decision processes (MDPs...
  • ERODE

  • Referenced in 6 articles [sw20210]
  • chemical reaction networks (CRNs) and continuous time Markov chains (CTMCs), it implements a more efficient...
  • INFAMY

  • Referenced in 5 articles [sw21177]
  • intricate performance and dependability considerations. Continuous-time Markov chains (CTMCs) are a widely used modeling ... state CTMCs. It checks probabilistic timing properties expressible in continuous stochastic logic (CSL). Conventional model...
  • ctmcd

  • Referenced in 4 articles [sw26626]
  • Estimating the Parameters of a Continuous-Time Markov Chain from Discrete-Time Data. Functions...
  • CCMC

  • Referenced in 2 articles [sw13324]
  • conditional CSL model checker for continuous-time Markov chains. We present CCMC (conditional CSL model ... checker), a model checker for continuous-time Markov chains (CTMCs) with respect to properties specified...
  • PVeStA

  • Referenced in 18 articles [sw08423]
  • probabilistic real-time systems specified as either: (i) discrete or continuous Markov Chains...
  • PRISM-PSY

  • Referenced in 3 articles [sw33601]
  • accelerated parameter synthesis for continuous-time Markov chains and time-bounded temporal logic specifications...
  • BDgraph

  • Referenced in 18 articles [sw14815]
  • trans-dimensional Markov Chain Monte Carlo (MCMC) approach based on a continuous-time birth-death...
  • SABRE

  • Referenced in 7 articles [sw12884]
  • modeled as transitions of a Markov chain. SABRE accepts as input the formalism of guarded ... interprets either as continuous-time or as discrete-time Markov chains. Besides operating...
  • EpiStruct

  • Referenced in 2 articles [sw34639]
  • applied to any continuous-time Markov chain where we wish to exactly match the number...
  • WBR-2019

  • Referenced in 1 article [sw34589]
  • broad class of continuous-time Markov chain models and is subsequently applied to two important ... individuals display symptoms before, at the same time, or after they become infectious. In both ... algorithm designed for partially-observed continuous-time Markov chains. This is combined with another importance...
  • ctmcmove

  • Referenced in 1 article [sw15976]
  • with raster covariates within a continuous time Markov chain (CTMC) framework. As described in Hanks...
  • BirDePy

  • Referenced in 1 article [sw40153]
  • BDPs) form a class of continuous-time Markov chains that are particularly suited to describing ... size of a population over time. Population-size-dependent BDPs (PSDBDPs) allow the rate ... also be used to estimate parameters of continuously-observed PSDBDPs, simulate sample paths, approximate transition...
  • phyclust

  • Referenced in 1 article [sw15971]
  • clustering (phyloclustering) is an evolutionary Continuous Time Markov Chain model-based approach to identify population...