Coherent branching feature bisimulation.

Tessa Belder Maurice H. ter Beek Erik P. de Vink

Published in: FMSPLE (2015)

Keyphrases

feature vectors
database
databases
search algorithm
real time
decision trees
search space
branch and bound