
PRISM
 Referenced in 424 articles
[sw01186]
 probabilistic models: discretetime Markov chains, Markov decision processes and continuoustime Markov chains. Analysis...

MCQueue
 Referenced in 140 articles
[sw05198]
 MCQueue: educational software for Markov Chains and Queues (noncommercial use) This software package contains ... analysis of discretetime and continuoustime Markov chains up to 100 states. The other...

LBS
 Referenced in 15 articles
[sw12372]
 coloured Petri nets, ODEs and continuoustime Markov chains are also given...

Visual DSD
 Referenced in 11 articles
[sw35128]
 deterministic simulation, construction of continuoustime Markov chains and various export formats which allow models...

INFAMY
 Referenced in 5 articles
[sw21177]
 intricate performance and dependability considerations. Continuoustime Markov chains (CTMCs) are a widely used modeling...

ctmcd
 Referenced in 4 articles
[sw26626]
 Estimating the Parameters of a ContinuousTime Markov Chain from DiscreteTime Data. Functions...

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

PRISMPSY
 Referenced in 3 articles
[sw33601]
 accelerated parameter synthesis for continuoustime Markov chains and timebounded 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 continuoustime or as discretetime Markov chains. Besides operating...

EpiStruct
 Referenced in 2 articles
[sw34639]
 applied to any continuoustime Markov chain where we wish to exactly match the number...

BDgraph
 Referenced in 12 articles
[sw14815]
 transdimensional Markov Chain Monte Carlo (MCMC) approach based on a continuoustime birthdeath...

WBR2019
 Referenced in 1 article
[sw34589]
 broad class of continuoustime 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 partiallyobserved continuoustime Markov chains. This is combined with another importance...

SimInf
 Referenced in 1 article
[sw14925]
 withinnode infection dynamics as continuoustime Markov chains and livestock data as scheduled events...

Symbulate
 Referenced in 1 article
[sw30830]
 distributions; stochastic processes; discrete and continuoustime Markov chains; Poisson processes; and Gaussian processes, including...

SOCSol4L
 Referenced in 2 articles
[sw15008]
 given continuoustime stochastic optimal control problem using Markov chains was developed in [Kra01]. This...

ctime
 Referenced in 1 article
[sw28190]
 show how continuoustime models can be fitted as easily as discretetime 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 continuoustime 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...