Login / Signup

General past-time linear temporal logic specification mining.

Jianqi ShiJiawen XiongYanhong Huang
Published in: CCF Trans. High Perform. Comput. (2021)
Keyphrases
  • linear temporal logic
  • temporal logic
  • model checking
  • data mining
  • machine learning
  • high level
  • search space
  • domain specific