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]

Authors

Hao Wu

This author has not been identified. Look up 'Hao Wu' in Google

Huan Long

This author has not been identified. Look up 'Huan Long' in Google