Efficient minimization of deterministic weak omega-automata.

Christof Löding

Published in: Inf. Process. Lett. (2001)

Keyphrases

cost effective
genetic algorithm
databases
learning algorithm
case study
probabilistic model
computationally efficient
black box