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

Massimo Bartoletti Maurizio Murgia Roberto Zunino

Published in: CoRR (2021)

Keyphrases

sound source
data sets
artificial intelligence
multi agent systems
information technology
pairwise