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

Liang Song Jianmin Wang Lijie Wen Hui Kong

Published in: J. Appl. Math. (2013)

Keyphrases

databases
computer vision
decision making
multiscale
information technology
heuristic search
highly efficient