Generating Compact MTBDD-Representations from ProbmelaSpecifications.

Frank Ciesinski Christel Baier Marcus Größer David Parker

Published in: SPIN (2008)

Keyphrases

compact representations
real time
neural network
decision making
higher level
databases
real world
data mining
distributed representations