Weijie Dong
- Model Predictive Monitoring of Dynamical Systems for Signal Temporal Logic Specifications
2022/09/26 by Xinyi Yu, Yu, Xinyi, Weijie Dong +5 · 2 citations
Computer Science · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Software Reliability and Analysis Research #Software Testing and Debugging Techniques #Systems and Control (eess.SY) #electronic engineering #information engineering