scientific article; zbMATH DE number 3240812
From MaRDI portal
Publication:5528211
Cited in
(only showing first 100 items - show all)- Fast convergence to state-action frequency polytopes for MDPs
- Classification of harmonic structures on graphs
- A note on the attractor-property of infinite-state Markov chains
- A Markov chain analysis of predator strategy in a model-mimic system
- Martin boundaries of random walks on Fuchsian groups
- A duality relation for entrance and exit laws for Markov processes
- Transport in Hamiltonian systems
- Nonlinear evolution equations and H theorems
- Approaching consensus can be delicate when positions harden
- Explicit solutions for second order operator differential equations with two boundary value conditions
- Reduced systems in Markov chains and their applications in queueing theory
- 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
- Spectra of graphs and fractal dimensions. I
- Absolute expediency of learning automata
- Explicit solutions for boundary value problems related to the operator equations \(X^{(2)}-AX=0\)
- Approximate uniformization for continuous-time Markov chains with an application to performability analysis
- On the allocation of effort
- Perturbation models
- Ergodic potential
- The inverse balayage problem for Markov chains
- The inverse balayage problem for Markov chains, part II
- A central limit theorem for the sojourn times of strongly ergodic Markov chains
- The combinatorics of effective resistances and resistive inverses
- The state reduction and related algorithms and their applications to the study of Markov chains, graph theory, and the optimal stopping problem
- Existence and uniqueness criteria for conservative uni-instantaneous denumerable Markov processes
- Some limit properties for Markov chains indexed by a homogeneous tree.
- Finding equilibrium probabilities of QBD processes by spectral methods when eigenvalues vanish
- Queueing system \(BMAP/G/1\) with repeated calls.
- Runs of geometrically distributed random variables: A probabilistic analysis
- Geometry of complex networks and topological centrality
- Queueing systems with correlated arrival flows and their applications to modeling telecommunication networks
- Verification and control of partially observable probabilistic systems
- General random walk in a random environment defined on Galton-Watson trees
- Perturbation bounds for Markov chains with general state space
- \(M A P + M A P / M_2 / N / \infty\) queueing system with absolute priority and reservation of servers
- On relative and probabilistic finite counterability
- Hitting time and mixing time bounds of Stein's factors
- Simulating perfect channels with probabilistic lossy channels
- Editorial: Introduction to quantum probability theory and its economic applications
- Compensation measures in the theory of Markov chains
- Spectral theorem for convex monotone homogeneous maps, and ergodic control
- Explicit optimal value for Dynkin's stopping game
- Linear independence of root equations for M/G/1 type Markov chains
- Computation of the steady state distribution for multi-server retrial queues with phase type service process
- A time-dependent Poisson random field model for polymorphism within and between two related biological species
- Classification of Markov processes of M/G/1 type with a tree structure and its applications to queueing models
- Evolution of repeated prisoner's dilemma play under logit dynamics
- Riesz decompositions for Schrödinger operators on graphs
- Laplace and bi-Laplace equations for directed networks and Markov chains
- The potential function and ladder heights of a recurrent random walk on \(\mathbb{Z}\) with infinite variance
- The Martin boundary of relatively hyperbolic groups with virtually abelian parabolic subgroups
- A counter abstraction technique for verifying properties of probabilistic swarm systems
- Variational formulas for the exit time of hunt processes generated by semi-Dirichlet forms
- Recurrence of a weighted random walk on a circle packing with parabolic carrier
- Green kernel asymptotics for two-dimensional random walks under random conductances
- Variational formula of capacity for asymmetric Markov chains
- Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives
- Model checking for probabilistic timed automata
- New perturbation bounds for denumerable Markov chains
- Lumpings of algebraic Markov chains arise from subquotients
- Effective algorithm for computation of the stationary distribution of multi-dimensional level-dependent Markov chains with upper block-Hessenberg structure of the generator
- POMDPs under probabilistic semantics
- Existence and uniqueness of countable -measures with preassigned values
- One dimensional random walks killed on a finite set
- Consensus in social networks: revisited
- Finiteness of hitting times under taboo
- Concurrent reachability games
- Linear dependence of stationary distributions in ergodic Markov decision processes
- Continuous-time QBD processes with continuous phase variable
- Strong stability and perturbation bounds for discrete Markov chains
- Quantitative analysis of probabilistic lossy channel systems
- 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
- On the linear model with two absorbing barriers
- A matrix representation of a class of denumerable homogeneous Markov chains
- Optimal cost almost-sure reachability in POMDPs
- Slowly spreading chains of the first kind
- Representation theory for a class of denumerable Markov chains
- Über eine Anwendung der Potentialtheorie transienter Markoff-Ketten
- 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
- Model checking discounted temporal properties
- The noisy voter-exclusion process
- Monotone runs of uniformly distributed integer random variables: A probabilistic analysis
- Asymptotic properties of expansive Galton-Watson trees
- Reciprocal covariance solutions of some matrix differential equations
- On homogeneous and oscillating random walks on the integers
- An inductive technique for parameterised model checking of degenerative distributed randomised protocols
- The structure of the functional of accumulation defined on a trajectory of semi-Markov process with a finite set of states
- Formalizing probabilistic noninterference
- Synthesising strategy improvement and recursive algorithms for solving 2.5 player parity games
- Quantitative multi-objective verification for probabilistic systems
- Synthesizing efficient systems in probabilistic environments
- A progress measure for explicit-state probabilistic model-checkers
- Probabilistic Weighted Automata
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)