Login / Signup

Erratum for "What causes a system to satisfy a specification?".

Hana ChocklerJoseph Y. HalpernOrna Kupferman
Published in: ACM Trans. Comput. Log. (2010)
Keyphrases
  • neural network
  • high level
  • specification language
  • genetic algorithm
  • relational databases
  • artificial neural networks
  • evolutionary algorithm
  • transition systems