Linear-Time Model Checking Branching Processes

Stefan Kiefer, Pavel Semukhin, Cas Widdershoven

(Multi-type) branching processes are a natural and well-studied model for generating random infinite trees. Branching processes feature both nondeterministic and probabilistic bran…