A BDD-Like Implementation of an Automata Package.

Jean-Michel Couvreur

Published in: CIAA (2004)

Keyphrases

finite automata
implementation issues
binary decision diagrams
data sets
databases
social networks
image sequences
bayesian networks
general purpose
hardware implementation
software package
implementation details
probabilistic automata