Multimodal Model Predictive Runtime Verification for Safety of Autonomous Cyber-Physical Systems.

Alexis A. Aurandt, Phillip H. Jones, Kristin Yvonne Rozier, Tichakorn Wongpiromsarn

Browse the full FMICS paper archive.