Compositional Stochastic Model Checking Probabilistic Automata via Symmetric Assume-Guarantee Rule.

Rui Li, Yang Liu

Browse the full SERA paper archive.