Login / Signup
Erratum for "What causes a system to satisfy a specification?".
Hana Chockler
Joseph Y. Halpern
Orna 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