Lowerbounds for Bisimulation by Partition Refinement.

Jan Friso Groote Jan Martens Erik P. de Vink

Published in: CoRR (2022)

Keyphrases

refinement process
data sets
image processing
neural network
database systems
multi agent
domain independent
equivalence relation
clustering ensemble
partitioning algorithm
refinement operators