Login / Signup
A Timed Automata based Automatic Framework for Verifying STL Properties of Simulink Models.
Miao Tian
Jianqi Shi
Zhe Hou
Yanhong Huang
Shengchao Qin
Published in:
TASE (2021)
Keyphrases
</>
modeling framework
probabilistic model
key properties
mathematical framework
lightweight
bayesian framework
conceptual framework
main contribution
model checking
classification models
neural network
social networks
feature selection
knowledge base
semi automatic