Array Abstraction with Symbolic Pivots.

Reiner Hähnle Nathan Wasser Richard Bubel

Published in: Theory and Practice of Formal Methods (2016)

Keyphrases

high level
similarity search
symbolic representation
connectionist learning
symbolic data
programmable logic
antenna array
covering arrays
real world
decision making
e learning
lower bound
data abstraction
associative learning
connectionist systems