Login / Signup

A Comparison of Modular Verification Techniques.

Henrik Reif AndersenJørgen StaunstrupNiels Maretti
Published in: TAPSOFT (1997)
Keyphrases
  • reinforcement learning
  • real time
  • data sets
  • databases
  • computer vision
  • model checking