Abstraction-Guided Truncations for Stationary Distributions of Markov Population Models.

Michael BackenköhlerLuca BortolussiGerrit GroßmannVerena Wolf
Published in: QEST (2021)