Real-time System Modeling and Verification through Labeled Transition System Analyser (LTSA).

Yilong Yang Xiaoshan Li Quan Zu

Published in: CoRR (2018)

Keyphrases

real time
databases
modeling method
high speed
low cost
pattern recognition
training data
training set
high dimensional
ground truth
decision trees
computer vision
vision system
petri net
quality of service
augmented reality
data mining