A Sound Up-to-n, δ Bisimilarity for PCTL.

Massimo Bartoletti Maurizio Murgia Roberto Zunino

Published in: COORDINATION (2022)

Keyphrases

data mining
information systems
website
image segmentation
face recognition
object recognition
computer science
lower bound
viewpoint
probabilistic model