• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Model Predictive Monitoring of Dynamic Systems for Signal Temporal Logic Specifications.

Xinyi YuWeijie DongXiang YinShaoyuan 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