Skeleton Abstraction for Universal Temporal Properties.

Sophie Wallner Karsten Wolf

Published in: Petri Nets (2021)

Keyphrases

temporal properties
model checking
shape representation
possibility theory
formal methods
high level
medial axis
shape analysis
temporal logic
endpoints
binary images
object oriented
thinning algorithm
genetic algorithm
data mining
decision rules
reinforcement learning