Probabilistic weak bisimulation and axiomatization for probabilistic models

Hao Wu, Huan Long. Probabilistic weak bisimulation and axiomatization for probabilistic models. Inf. Process. Lett., 182:106399, August 2023. [doi]

Abstract

Abstract is missing.