scientific article; zbMATH DE number 3082073
From MaRDI portal
Publication:5820901
zbMath0051.35607MaRDI QIDQ5820901
No author found.
Publication date: 1953
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Geometric ergodicity of Rao and Teh's algorithm for homogeneous Markov jump processes, Exchangeable Markov multi-state survival processes, Means and variances of time averages in Markovian environments, On arrival driven queueing models: Admission control, traffic policing, abandonments, and correlated arrivals, Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation, Comparative branching-time semantics for Markov chains, Efficient Parameter Sampling for Markov Jump Processes, Optimal decisions for continuous time Markov decision processes over finite planning horizons, A numerical approach for evaluating the time-dependent distribution of a quasi birth-death process, Precisely deciding CSL formulas through approximate model checking for CTMCs, Analyzing Oscillatory Behavior with Formal Methods, Markov Reward Models and Markov Decision Processes in Discrete and Continuous Time: Performance Evaluation and Optimization, Precise parameter synthesis for stochastic biochemical systems, Numerical analysis of continuous time Markov decision processes over finite horizons, Scalable Bayesian Multiple Changepoint Detection via Auxiliary Uniformisation, Pseudo-Marginal Inference for CTMCs on Infinite Spaces via Monotonic Likelihood Approximations, A uniformisation-driven algorithm for inference-related estimation of a phase-type ageing model, Optimality of the fastest available server policy, On the use of MTBDDs for performability analysis and verification of stochastic systems., Computational Probability for Systems Biology, Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking, Four Canadian Contributions to Stochastic Modeling, Bayesian multiple changepoints detection for Markov jump processes, Unbiased Bayesian inference for population Markov jump processes via random truncations, An extended likelihood framework for modelling discretely observed credit rating transitions, Approximate uniformization for continuous-time Markov chains with an application to performability analysis, Stochastic epidemic models inference and diagnosis with Poisson random measure data augmentation, Uniformization for nonhomogeneous Markov chains, Product Form Approximation of Transient Probabilities in Stochastic Reaction Networks, Analysis of \(GI^{X}/ M(n)// N\) systems with stochastic customer acceptance policy, Linear dynamics for the state vector of Markov chain functions, First passage times for multidimensional denumerable state Markov processes, ON LIKELIHOOD ESTIMATION FOR DISCRETELY OBSERVED MARKOV JUMP PROCESSES, Analysis of \(\text{GI}/\text{M}/s/c\) queues using uniformisation, Model checking expected time and expected reward formulae with random time bounds, A modified uniformization method for the solution of the chemical master equation, Bounding the coarse graining error in hidden Markov dynamics, Simulation from endpoint-conditioned, continuous-time Markov chains on a finite state space, with applications to molecular evolution, Unnamed Item, Monotone matrices and monotone Markov processes, Statistical probabilistic model checking with a focus on time-bounded properties, Delayed Nondeterminism in Continuous-Time Markov Decision Processes, Discrete-time stochastic modeling and simulation of biochemical networks, The linear birth‒death process: an inferential retrospective, Bayesian multiple changepoint detection for stochastic models in continuous time, Approximate adaptive uniformization of continuous-time Markov chains, Transient analysis of an affine queue-Hawkes process, Analysis of a queueing model with batch Markovian arrival process and general distribution for group clearance, Stochastic modelling of combat with reinforcement, Summary Statistics for Endpoint-Conditioned Continuous-Time Markov Chains, Algorithms for the Laplace-Stieltjes transforms of first return times for stochastic fluid flows, Auxiliary variables for Bayesian inference in multi-class queueing networks, On first passage times in discrete skeletons and uniformized versions of a continuous-time Markov chain, Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes, Model checking single agent behaviours by fluid approximation, The exponential-dual matrix method: Applications to Markov chain analysis, Computing Cumulative Rewards Using Fast Adaptive Uniformization, Performability measure for acyclic Markovian models, First passage times for Markov renewal processes and applications
