C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Model Predictive Monitoring of Dynamic Systems for Signal Temporal Logic Specifications.
Xinyi Yu
Weijie Dong
Xiang Yin
Shaoyuan Li
Published in:
CoRR (2022)
Keyphrases
</>
dynamic systems
temporal logic
discrete event
verification method
mathematical model
specification language
model checker
machine learning
dynamical systems
state variables