Login / Signup

Verification by approximate forward and backward reachability.

Shankar G. GovindarajuDavid L. Dill
Published in: ICCAD (1998)
Keyphrases
  • forward and backward
  • dynamic programming
  • state space
  • model checking
  • machine learning
  • active learning
  • greedy search