Login / Signup

SpeAR v2.0: Formalized Past LTL Specification and Analysis of Requirements.

Aaron W. FifarekLucas G. WagnerJonathan A. HoffmanBenjamin D. RodesM. Anthony AielloJennifer A. Davis
Published in: NFM (2017)
Keyphrases
  • neural network
  • model checking
  • formal specification
  • learning algorithm
  • artificial intelligence
  • information systems
  • website
  • database systems
  • image analysis
  • application specific