On the Construction of Fine Automata for Safety Properties.

Orna Kupferman Robby Lampert

Published in: ATVA (2006)

Keyphrases

information retrieval
artificial intelligence
image processing
multi agent systems
evolutionary algorithm
coarse to fine
structural properties