Mitsch, Platzer, 2019. Verified Runtime Validation for Partially Observable Hybrid Systems.