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

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

This webpage contains further details and artifacts for reproducibility of the experiments in "Multimodal Model Predictive Runtime Verification for Safety of Autonomous Cyber-Physical Systems"

---

MMPRV Implementation

Available here: https://github.com/aaurandt/MMPRV_R2U2

---