Automated generation of state abstraction functions using data invariant inference.

Published in: AST (2013)

Keyphrases