Now showing items 1-1 of 1

    • Computing Probabilistic Bisimilarity Distances 

      Tang, Qiyi (2018-11-21)
      Behavioural equivalences like probabilistic bisimilarity rely on the transition probabilities and, as a result, are sensitive to minuscule changes of those probabilities. Such behavioural equivalences are not robust, as ...

      All items in the YorkSpace institutional repository are protected by copyright, with all rights reserved except where explicitly noted.