Model Predictive Runtime Verification for Cyber-Physical Systems with Real-Time Deadlines - Zhang, Pei; Aurandt, Alexis; Dureja, Rohit; Jones, Phillip H.; Rozier, Kristin Yvonne; Aerospace Engineering (https://doi.org/10.1007/978-3-031-42626-1_10, 2023)
application/pdf