Sign in

A Novel RVFL-Based Algorithm Selection Approach for Software Model Checking.

Weipeng CaoYuhao WuQiang WangJiyong ZhangXingjian ZhangMeikang Qiu
Published in: KSEM (3) (2022)
Keyphrases
  • model checking
  • computational complexity
  • verification method
  • search space
  • temporal logic
  • artificial intelligence
  • reinforcement learning
  • np hard
  • deterministic finite automaton