Runtime Verification with Rational Multi-Monitors.

Davide Catta, Angelo Ferrando, Vadim Malvone

Browse the full ECAI paper archive.