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