scientific article; zbMATH DE number 3082073
From MaRDI portal
Publication:5820901
Cited in
(65)- Discrete-time stochastic modeling and simulation of biochemical networks
- Algorithms for the Laplace-Stieltjes transforms of first return times for stochastic fluid flows
- Means and variances of time averages in Markovian environments
- Approximate uniformization for continuous-time Markov chains with an application to performability analysis
- Uniformization for nonhomogeneous Markov chains
- Monotone matrices and monotone Markov processes
- Stochastic modelling of combat with reinforcement
- On the use of MTBDDs for performability analysis and verification of stochastic systems.
- Performability measure for acyclic Markovian models
- First passage times for Markov renewal processes and applications
- Optimal decisions for continuous time Markov decision processes over finite planning horizons
- Optimality of the fastest available server policy
- Unbiased Bayesian inference for population Markov jump processes via random truncations
- On arrival driven queueing models: Admission control, traffic policing, abandonments, and correlated arrivals
- Bayesian multiple changepoint detection for stochastic models in continuous time
- Transient analysis of an affine queue-Hawkes process
- Analysis of a queueing model with batch Markovian arrival process and general distribution for group clearance
- On first passage times in discrete skeletons and uniformized versions of a continuous-time Markov chain
- A numerical approach for evaluating the time-dependent distribution of a quasi birth-death process
- Bayesian multiple changepoints detection for Markov jump processes
- Stochastic epidemic models inference and diagnosis with Poisson random measure data augmentation
- Approximate adaptive uniformization of continuous-time Markov chains
- Auxiliary variables for Bayesian inference in multi-class queueing networks
- Model checking single agent behaviours by fluid approximation
- Comparative branching-time semantics for Markov chains
- Precisely deciding CSL formulas through approximate model checking for CTMCs
- Precise parameter synthesis for stochastic biochemical systems
- Analysis of \(GI^{X}/ M(n)// N\) systems with stochastic customer acceptance policy
- Analysis of \(\text{GI}/\text{M}/s/c\) queues using uniformisation
- Model checking expected time and expected reward formulae with random time bounds
- Statistical probabilistic model checking with a focus on time-bounded properties
- Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes
- Geometric ergodicity of Rao and Teh's algorithm for homogeneous Markov jump processes
- Analyzing oscillatory behavior with formal methods
- Markov reward models and Markov decision processes in discrete and continuous time: performance evaluation and optimization
- Summary Statistics for Endpoint-Conditioned Continuous-Time Markov Chains
- Computational Probability for Systems Biology
- Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking
- ON LIKELIHOOD ESTIMATION FOR DISCRETELY OBSERVED MARKOV JUMP PROCESSES
- Delayed Nondeterminism in Continuous-Time Markov Decision Processes
- An extended likelihood framework for modelling discretely observed credit rating transitions
- Linear dynamics for the state vector of Markov chain functions
- The exponential-dual matrix method: Applications to Markov chain analysis
- Exchangeable Markov multi-state survival processes
- Efficient Parameter Sampling for Markov Jump Processes
- Unusual-event processes for count data
- Product form approximation of transient probabilities in stochastic reaction networks
- The linear birth-death process: an inferential retrospective
- Computing cumulative rewards using fast adaptive uniformization
- Checking individual agent behaviours in Markov population models by fluid approximation
- Scalable Bayesian Multiple Changepoint Detection via Auxiliary Uniformisation
- Pseudo-Marginal Inference for CTMCs on Infinite Spaces via Monotonic Likelihood Approximations
- Numerical analysis of continuous time Markov decision processes over finite horizons
- A uniformisation-driven algorithm for inference-related estimation of a phase-type ageing model
- Four Canadian Contributions to Stochastic Modeling
- Approximations of semi-Markov processes and insurance policy valuation
- A novel method and comparison of methods for constructing Markov bridges
- A birth-death process with temporary growth halts and population independent death rate
- Phase-type distributions in mathematical population genetics: an emerging framework
- A simple algorithm for computing the probabilities of count models based on pure birth processes
- First passage times for multidimensional denumerable state Markov processes
- Bounding the coarse graining error in hidden Markov dynamics
- Consistent multiscale modelling of movement and habitat selection
- A modified uniformization method for the solution of the chemical master equation
- Simulation from endpoint-conditioned, continuous-time Markov chains on a finite state space, with applications to molecular evolution
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5820901)
