Bisimulations and Logics for Higher-Dimensional Automata.

Safa Zouari Krzysztof Ziemianski Uli Fahrenberg

Published in: CoRR (2024)

Keyphrases

higher dimensional
modal logic
high dimensional
finite dimensional
euclidean space
arbitrary dimension
low dimensional
distance transform
lower dimensional
finite state
continuous relaxation
pattern recognition
multi dimensional
neural network
training set
x ray