Provably Correct Runtime Monitoring.

Irem Aktug, Mads Dam, Dilian Gurov

Browse the full FM paper archive.