Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems.

Fei He, Xiaowei Gao, Bow-Yaw Wang, Lijun Zhang

Browse the full POPL paper archive.