Login / Signup
Skeleton Abstraction for Universal Temporal Properties.
Sophie Wallner
Karsten Wolf
Published in:
CoRR (2021)
Keyphrases
</>
temporal properties
model checking
possibility theory
formal methods
high level
temporal logic
binary images
medial axis
general purpose
shape analysis
endpoints
thinning algorithm
shape representation
graphical models
software systems
source code
pattern recognition
neural network