Login / Signup
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