Branching time and orthogonal bisimulation equivalence.

Jan A. Bergstra Alban Ponse Mark van der Zwaag

Published in: Theor. Comput. Sci. (2003)

Keyphrases

equivalence relation
temporal logic
temporal reasoning
rough sets
interactive dynamic influence diagrams
reinforcement learning
model checking
data sets
databases
case study
information retrieval
artificial intelligence
multiresolution
dimensionality reduction
rough set theory
epistemic logic