Skeleton Abstraction for Universal Temporal Properties.

Sophie Wallner Karsten Wolf

Published in: Fundam. Informaticae (2022)

Keyphrases

temporal properties
model checking
possibility theory
high level
binary images
formal methods
medial axis
thinning algorithm
cooperative
pattern recognition
general purpose
temporal logic
modal logic
shape representation
inference rules
endpoints