Reactive Control Meets Runtime Verification: A Case Study of Navigation.

Dogan Ulus, Calin Belta

Browse the full RV paper archive.