Sign in

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

Mateus de Oliveira OliveiraOlga Tveretina
Published in: HSCC (2022)
Keyphrases
  • edge detection
  • edge information
  • data sets
  • edge detector
  • knowledge representation
  • state space
  • edge map
  • multiple scales