Refinement Preserves PLTL Properties.

Christophe Darlot Jacques Julliand Olga Kouchnarenko

Published in: ZB (2003)

Keyphrases

data sets
databases
database
computer vision
knowledge base
real time
neural network
image sequences
relational databases
management system
structural properties
desirable properties
topological properties