Combining Model Checking and Runtime Verification for Safe Robotics.

Ankush Desai, Tommaso Dreossi, Sanjit A. Seshia

Browse the full RV paper archive.