Generating Minimum Height ADSs for Partially Specified Finite State Machines.

Robert M. Hierons Uraz Cengiz Türker

Published in: ISCIS (2015)

Keyphrases

finite state machines
finite state automata
model checking
regular expressions
digital circuits
hidden markov models
automatically generating
domain knowledge
square error