Login / Signup

On the Construction of Fine Automata for Safety Properties.

Orna KupfermanRobby Lampert
Published in: ATVA (2006)
Keyphrases
  • information retrieval
  • artificial intelligence
  • image processing
  • multi agent systems
  • evolutionary algorithm
  • coarse to fine
  • structural properties