Enabling Preserving Bisimulation Equivalence.

Rob van Glabbeek Peter Höfner Weiyou Wang

Published in: CoRR (2021)

Keyphrases

equivalence relation
data mining

machine learning
image details

real world
artificial intelligence

multi agent