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

MCQueue
 Referenced in 149 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...

APNNToolbox
 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 continuoustime 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. Continuoustime 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 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...

PVeStA
 Referenced in 18 articles
[sw08423]
 probabilistic realtime systems specified as either: (i) discrete or continuous Markov Chains...

PRISMPSY
 Referenced in 3 articles
[sw33601]
 accelerated parameter synthesis for continuoustime Markov chains and timebounded temporal logic specifications...

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

SABRE
 Referenced in 7 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...

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...

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 continuoustime Markov chains that are particularly suited to describing ... size of a population over time. Populationsizedependent BDPs (PSDBDPs) allow the rate ... also be used to estimate parameters of continuouslyobserved PSDBDPs, simulate sample paths, approximate transition...

phyclust
 Referenced in 1 article
[sw15971]
 clustering (phyloclustering) is an evolutionary Continuous Time Markov Chain modelbased approach to identify population...