Tan, Y., 2021. Compositional Stochastic Model Checking Probabilistic Automata via Assume-guarantee Reasoning, in: . Atlantis Press.. https://doi.org/10.2991/assehr.k.211209.288