C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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