Mortality and Edge-to-Edge Reachability are Decidable on Surfaces.

Mateus de Oliveira Oliveira Olga Tveretina

Published in: HSCC (2022)

Keyphrases

edge detection
edge information
data sets
edge detector
knowledge representation
state space
edge map
multiple scales