Sign in

Efficient Semantics-Based Compliance Checking Using LTL Formulae and Unfolding.

Liang SongJianmin WangLijie WenHui Kong
Published in: J. Appl. Math. (2013)
Keyphrases
  • databases
  • computer vision
  • decision making
  • multiscale
  • information technology
  • heuristic search
  • highly efficient