scientific article; zbMATH DE number 3240812

zbMath0149.13301MaRDI QIDQ5528211

John G. Kemeny, A. W. Knapp, J. Laurie Snell

Publication date: 1966

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

probability theory

Related Items (only showing first 100 items - show all)

A Characterization of the Invariant Measures for an Infinite Particle System with Interactions. II ⋮ Unnamed Item ⋮ The Life, Work, and Legacy of P. L. Chebyshev ⋮ Unnamed Item ⋮ Optimization of road design via the use of a queueing model with transit and local users and processor sharing discipline ⋮ Temporal logics for the specification of performance and reliability ⋮ Asymptotic properties of expansive Galton-Watson trees ⋮ Network meta-analysis: a statistical physics perspective ⋮ The Martin boundary and completion of Markov chains ⋮ Introduction to Random Walks on Noncommutative Spaces ⋮ Probabilistic Weighted Automata ⋮ Counterexamples in Probabilistic LTL Model Checking for Markov Chains ⋮ Strict Divergence for Probabilistic Timed Automata ⋮ Markov chains and summability methods ⋮ Reciprocal covariance solutions of some matrix differential equations ⋮ A stable algorithm for stationary distribution calculation for a BMAP/SM/1 queueing system with Markovian arrival input of disasters ⋮ Markov chains and summability methods ⋮ Opérateurs potentiels des chaînes et des processus de Markov irréductibles ⋮ Potentials and the distributions of the last exit times of birth and death processes ⋮ A simple proof for the matrix‐geometric theorem ⋮ Formalizing Probabilistic Noninterference ⋮ An Electric Network for Nonreversible Markov Chains ⋮ A Characterization of Normal Markov Chains ⋮ Regular Boundary Points in Markov Chains ⋮ On the Kemeny time for continuous-time reversible and irreversible Markov processes with applications to stochastic resetting and to conditioning towards forever-survival ⋮ Über den Vergleich der superharmonischen Funktionen zweier diskreter transienter Markoff-Ketten ⋮ Robust power series algorithm for epistemic uncertainty propagation in Markov chain models ⋮ Automated Verification of Concurrent Stochastic Games ⋮ The generalized join the shortest orbit queue system: stability, exact tail asymptotics and stationary approximations ⋮ Symbolic verification and strategy synthesis for turn-based stochastic games ⋮ Matrix-Analytic Methods for Solving Poisson’s Equation with Applications to Markov Chains of GI/G/1-Type ⋮ On homogeneous and oscillating random walks on the integers ⋮ Symmetric Wiener-Hopf factorisations in Markov additive processes ⋮ Representation Theory for Denumerable Markov Chains ⋮ Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games ⋮ Probabilistic total store ordering ⋮ Account of disasters in analysis of queueing systems modeled by the quasi-birth-and-death-process ⋮ Pseudometrics for State Aggregation in Average Reward Markov Decision Processes ⋮ Unnamed Item ⋮ The Local Limit Theorem and Some Related Aspects of Super-Critical Branching Processes ⋮ Randomized Dining Philosophers without Fairness Assumption ⋮ Quantitative Multi-objective Verification for Probabilistic Systems ⋮ Model Checking Exact Cost for Attack Scenarios ⋮ On the Asymptotic Behaviour of Nonnegative Solutions of a Certain Integral Inequality ⋮ A Progress Measure for Explicit-State Probabilistic Model-Checkers ⋮ Game-Based Probabilistic Predicate Abstraction in PRISM ⋮ Regularity in PDA Games Revisited ⋮ Unnamed Item ⋮ A probabilistic local majority polling game on weighted directed graphs with an application to the distributed agreement problem ⋮ Isotropic random walks in a tree ⋮ A splitting technique for Harris recurrent Markov chains ⋮ [https://portal.mardi4nfdi.de/wiki/Publication:4139440 Marche al�atoire sur le groupe libre et fronti�re de Martin] ⋮ Uniform rates of convergence for Markov chain transition probabilities ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Stochastic and substochastic solutions for infinite-state Markov chains with applications to matrix-analytic methods ⋮ On bulk-service MAP/PH\(^{L,N}\)/1/N G-queues with repeated attempts ⋮ A bibliographical guide to the analysis of retrial queues through matrix analytic techniques ⋮ Stationary distributions in the atom-on-demand problem ⋮ Stochastic Games with Lossy Channels ⋮ On Decision Problems for Probabilistic Büchi Automata ⋮ Markov Chains with Hybrid Repeating Rows - Upper-Hessenberg, Quasi-Toeplitz Structure of the Block Transition Probability Matrix ⋮ An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols ⋮ Yaglom limits can depend on the starting state ⋮ The Structure of the Functional of Accumulation Defined on a Trajectory of Semi-Markov Process with a Finite Set of States ⋮ On the linear model with two absorbing barriers ⋮ A matrix representation of a class of denumerable homogeneous Markov chains ⋮ [https://portal.mardi4nfdi.de/wiki/Publication:3908273 R�currence positive des librairies mixtes] ⋮ Slowly spreading chains of the first kind ⋮ Representation theory for a class of denumerable Markov chains ⋮ Über eine Anwendung der Potentialtheorie transienter Markoff-Ketten ⋮ Unnamed Item ⋮ On probabilistic limit theorems for a class of positive matrices ⋮ Probabilistic temporal logics via the modal mu-calculus ⋮ Verification of probabilistic systems with faulty communication ⋮ Frequently dense harmonic functions and universal martingales on trees ⋮ Model checking discounted temporal properties ⋮ The noisy voter-exclusion process ⋮ Monotone runs of uniformly distributed integer random variables: A probabilistic analysis ⋮ Infinite dimensional entangled Markov chains ⋮ Existence and uniqueness criteria for conservative uni-instantaneous denumerable Markov processes ⋮ A counter abstraction technique for verifying properties of probabilistic swarm systems ⋮ Approaching consensus can be delicate when positions harden ⋮ Variational formulas for the exit time of hunt processes generated by semi-Dirichlet forms ⋮ Synthesizing efficient systems in probabilistic environments ⋮ Recurrence of a weighted random walk on a circle packing with parabolic carrier ⋮ State explosion in almost-sure probabilistic reachability ⋮ Poisson boundary of the dual of \(\text{SU}_q(n)\). ⋮ A parametric uncertainty analysis method for queues with vacations ⋮ Multi-dimensional asymptotically quasi-Toeplitz Markov chains and their application in queueing theory ⋮ Continue, quit, restart probability model ⋮ Explicit solutions for second order operator differential equations with two boundary value conditions ⋮ Reduced systems in Markov chains and their applications in queueing theory ⋮ Explicit optimal value for Dynkin's stopping game ⋮ Generalized martingales, generalized Markov chains and generalized harmonic functions ⋮ On the complexity of deciding fair termination of probabilistic concurrent finite-state programs ⋮ Algebraic and differential operator equations ⋮ Random walks on graphs, electric networks and fractals ⋮ Strategy improvement for concurrent reachability and turn-based stochastic safety games ⋮ A generalization of a Hardy theorem

This page was built for publication: