• PRISM

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

  • Referenced in 140 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...
  • Visual DSD

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

  • Referenced in 5 articles [sw21177]
  • intricate performance and dependability considerations. Continuous-time Markov chains (CTMCs) are a widely used modeling...
  • 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...
  • PRISM-PSY

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

  • Referenced in 6 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...
  • BDgraph

  • Referenced in 12 articles [sw14815]
  • trans-dimensional Markov Chain Monte Carlo (MCMC) approach based on a continuous-time birth-death...
  • 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...
  • SimInf

  • Referenced in 1 article [sw14925]
  • within-node infection dynamics as continuous-time Markov chains and livestock data as scheduled events...
  • Symbulate

  • Referenced in 1 article [sw30830]
  • distributions; stochastic processes; discrete- and continuous-time Markov chains; Poisson processes; and Gaussian processes, including...
  • SOCSol4L

  • Referenced in 2 articles [sw15008]
  • given continuous-time stochastic optimal control problem using Markov chains was developed in [Kra01]. This...
  • ctime

  • Referenced in 1 article [sw28190]
  • show how continuous-time models can be fitted as easily as discrete-time alternatives ... likelihood is factored so that efficient Markov chain Monte Carlo algorithms can be implemented...
  • InfSOCSol

  • Referenced in 1 article [sw08392]
  • approximating the solution to a continuous-time in nite horizon stochastic optimal control problem. This ... policy improvement algorithm to optimise a Markov decision chain approximating the original control problem...
  • Expokit

  • Referenced in 184 articles [sw00258]
  • Expokit provides a set of routines aimed at...
  • Isabelle

  • Referenced in 638 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...