Login / Signup

Computing Probabilistic Bisimilarity Distances via Policy Iteration.

Qiyi TangFranck van Breugel
Published in: CONCUR (2016)
Keyphrases