scientific article; zbMATH DE number 3240812

Cited in

(only showing first 100 items - show all)

The inverse balayage problem for Markov chains
The inverse balayage problem for Markov chains, part II
scientific article; zbMATH DE number 3787795 (Why is no real title available?)
Optimal cost almost-sure reachability in POMDPs
Martin boundaries of random walks on Fuchsian groups
Queueing systems with correlated arrival flows and their applications to modeling telecommunication networks
Riesz decompositions for Schrödinger operators on graphs
scientific article; zbMATH DE number 7559393 (Why is no real title available?)
Some limit properties for Markov chains indexed by a homogeneous tree.
Yaglom limits can depend on the starting state
Variational formulas for the exit time of hunt processes generated by semi-Dirichlet forms
The noisy voter-exclusion process
Parametric probabilistic transition systems for system design and analysis
Ergodic potential
New perturbation bounds for denumerable Markov chains
Explicit solutions for second order operator differential equations with two boundary value conditions
Markov chains and summability methods
Fast convergence to state-action frequency polytopes for MDPs
scientific article; zbMATH DE number 1208668 (Why is no real title available?)
Explicit solutions for boundary value problems related to the operator equations \(X^{(2)}-AX=0\)
The Life, Work, and Legacy of P. L. Chebyshev
Linear independence of root equations for \(M/G/1\) type Markov chains
Industry dynamics: foundations for models with an infinite number of firms
Evaluation of effective resistances in pseudo-distance-regular resistor networks
Markov chains and summability methods
Isotropic random walks in a tree
Lumpings of algebraic Markov chains arise from subquotients
A central limit theorem for the sojourn times of strongly ergodic Markov chains
Reduced systems in Markov chains and their applications in queueing theory
Generalized martingales, generalized Markov chains and generalized harmonic functions
Probabilistic Weighted Automata
Optimization of road design via the use of a queueing model with transit and local users and processor sharing discipline
A splitting technique for Harris recurrent Markov chains
An Electric Network for Nonreversible Markov Chains
Reciprocal covariance solutions of some matrix differential equations
Frequently dense harmonic functions and universal martingales on trees
Automated Verification of Concurrent Stochastic Games
Symbolic verification and strategy synthesis for turn-based stochastic games
On Decision Problems for Probabilistic Büchi Automata
Investigation of the \(\mathrm{BMAP}/G/1\to\cdot/PH/1/M\) tandem queue with retrials and losses
Regularity in PDA games revisited
Pseudometrics for State Aggregation in Average Reward Markov Decision Processes
On relative and probabilistic finite counterability
A counter abstraction technique for verifying properties of probabilistic swarm systems
The boundary of the Gelfand-Tsetlin graph: A new approach
Synthesising strategy improvement and recursive algorithms for solving 2.5 player parity games
Verification and control of partially observable probabilistic systems
The combinatorics of effective resistances and resistive inverses
Multi-dimensional asymptotically quasi-Toeplitz Markov chains and their application in queueing theory
A generalization of a Hardy theorem
Hitting time and mixing time bounds of Stein's factors
Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives
On the Asymptotic Behaviour of Nonnegative Solutions of a Certain Integral Inequality
Über den Vergleich der superharmonischen Funktionen zweier diskreter transienter Markoff-Ketten
A nonconventional local limit theorem
Synthesizing efficient systems in probabilistic environments
Spectra of graphs and fractal dimensions. I
On the allocation of effort
Green kernel asymptotics for two-dimensional random walks under random conductances
On the linear model with two absorbing barriers
Stochastic Games with Lossy Channels
State explosion in almost-sure probabilistic reachability
Linear dependence of stationary distributions in ergodic Markov decision processes
Variational formula of capacity for asymmetric Markov chains
Model checking discounted temporal properties
A Characterization of the Invariant Measures for an Infinite Particle System with Interactions. II
R�currence positive des librairies mixtes
The expected hitting times for finite Markov chains
Perturbation models
Spectral theorem for convex monotone homogeneous maps, and ergodic control
Game-Based Probabilistic Predicate Abstraction in PRISM
Explicit optimal value for Dynkin's stopping game
Geometry of complex networks and topological centrality
Recurrence of a weighted random walk on a circle packing with parabolic carrier
An inductive technique for parameterised model checking of degenerative distributed randomised protocols
scientific article; zbMATH DE number 3457957 (Why is no real title available?)
One dimensional random walks killed on a finite set
Absolute expediency of learning automata
A probabilistic local majority polling game on weighted directed graphs with an application to the distributed agreement problem
Model Checking Exact Cost for Attack Scenarios
The Martin boundary and completion of Markov chains
Uniform rates of convergence for Markov chain transition probabilities
Simulating perfect channels with probabilistic lossy channels
Markov branching processes with instantaneous immigration
Asymptotic properties of expansive Galton-Watson trees
Random walks and the effective resistance of networks
Temporal logics for the specification of performance and reliability
Compensation measures in the theory of Markov chains
Probabilistic temporal logics via the modal mu-calculus
Algebraic and differential operator equations
Evolution of repeated prisoner's dilemma play under logit dynamics
Approximate uniformization for continuous-time Markov chains with an application to performability analysis
A progress measure for explicit-state probabilistic model-checkers
Randomized dining philosophers without fairness assumption
Markov Chains with Hybrid Repeating Rows - Upper-Hessenberg, Quasi-Toeplitz Structure of the Block Transition Probability Matrix
Laplace and bi-Laplace equations for directed networks and Markov chains
Symmetric Wiener-Hopf factorisations in Markov additive processes
Opérateurs potentiels des chaînes et des processus de Markov irréductibles
Introduction to Random Walks on Noncommutative Spaces
Existence and uniqueness criteria for conservative uni-instantaneous denumerable Markov processes

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 Q5528211)