Abstraction for Branching Time Properties.

Kedar S. Namjoshi

Published in: CAV (2003)

Keyphrases

high level
desirable properties
information retrieval
temporal reasoning
structural properties
database
real time
image processing
face recognition
cooperative
neural network
machine learning
case study
database systems
multi agent
model checking