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"

---

Contact

For further information, please contact Alexis Aurandt (aurandt@iastate.edu).