Bisimulation for Impure Simplicial Complexes.

Marta Bílková Hans van Ditmarsch Roman Kuznets Rojo Randrianomentsoa

Published in: CoRR (2024)

Keyphrases

equivalence relation
optimal planning
pattern recognition
databases
information retrieval
database
upper bound
neural network
decision making
state space
genetic programming
computer vision
lower bound
control system
knowledge discovery
general purpose
linear programming