Login / Signup

Building a push-button RESOLVE verifier: Progress and challenges.

Murali SitaramanBruce M. AdcockJeremy AvigadDerek BronishPaolo BucciDavid FrazierHarvey M. FriedmanHeather K. HartonWayne D. HeymJason KirschenbaumJoan KroneHampton SmithBruce W. Weide
Published in: Formal Aspects Comput. (2011)
Keyphrases
  • lessons learned
  • key issues
  • database
  • artificial intelligence
  • technical challenges
  • neural network
  • real world
  • knowledge base
  • high level
  • reinforcement learning
  • cooperative
  • design principles