Abstract:Computing the reachability probability in infinite state probabilistic models has been the topic of numerous works. Here we introduce a new property called divergence that when satisfied allows to compute reachability probabilities up to an arbitrary precision. One of the main interest of divergence is that this computation does not require the reachability problem to be decidable. Then we study the decidability of divergence for random walks and the probabilistic versions of Petri nets where the weights associated with transitions may also depend on the current state. This should be contrasted with most of the existing works that assume weights independent of the state. Such an extended framework is motivated by the modeling of real case studies. Moreover, we exhibit some subclasses of channel systems and pushdown automata that are divergent by construction, particularly suited for specifying open distributed systems and networks prone to performance collapsing where probabilities related to service requirements are needed. where probabilities related to service requirements are needed.

Random divergence of groups

Divergence and quasi-isometry classes of random Gromov's monsters

Relative divergence of finitely generated groups

Semi-Nonparametric Estimation of Distribution Divergence in Non-Euclidean Spaces

Sample Complexity Bounds for Estimating Probability Divergences under Invariances

Sample Complexity of Probability Divergences under Group Symmetry

Things we can learn by considering random locally symmetric manifolds

Angle between two random segments

Random groups arising as graph products

Asymptotic Renyi Entropies of Random Walks on Groups

Locally Random Groups

Introducing Divergence for Infinite Probabilistic Models

Asymptotic symmetry and group invariance for randomization

On distortion of normal subgroups

Asymptotic Entropy of the Ranges of Random Walks on Discrete Groups

On the curvatures of random complex submanifolds

Random veering triangulations are not geometric

A comparison theorem on convergence rates of random walks on groups

Diophantine approximation on curves and the distribution of rational points: divergence theory

New divergence measures between persistence diagrams and stability of vectorizations

Random A-Adic Groups and Random Net Fractals