Pei Zhang 0009, Alexis A. Aurandt, Rohit Dureja, Phillip H. Jones, Kristin Yvonne Rozier. Model Predictive Runtime Verification for Cyber-Physical Systems with Real-Time Deadlines. In Laure Petrucci, Jeremy Sproston, editors, Formal Modeling and Analysis of Timed Systems - 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings. Volume 14138 of Lecture Notes in Computer Science, pages 158-180, Springer, 2023. [doi]
Abstract is missing.