Brief announcement: branching time refinement.

Panagiotis Manolios

Published in: PODC (2003)

Keyphrases

temporal reasoning
real time
databases
model checking
temporal logic
epistemic logic
refinement process
multiresolution
image segmentation
bayesian networks
data model
probabilistic model
query refinement