The parametric complexity of bisimulation equivalence of normed pushdown automata.

Published in: Frontiers Comput. Sci. (2022)

Keyphrases

worst case
equivalence relation
vector space
upper bound
data sets
neural network
information systems
object recognition
pairwise
social networks
artificial intelligence
model checking
genetic algorithm
decision problems
graph matching
space complexity
parametric models