Sign in

SAT-Verifiable LTL Satisfiability Checking via Graph Representation Learning.

Weilin LuoYuhang ZhengRongzhen YeHai WanJianfeng DuPingjia LiangPolong Chen
Published in: ASE (2023)
Keyphrases
  • graph representation
  • reinforcement learning
  • learning algorithm
  • active learning
  • supervised learning
  • shortest path
  • domain independent
  • graph model