Login / Signup
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