Runtime Verification with Imperfect Information Through Indistinguishability Relations.

Angelo Ferrando, Vadim Malvone

Browse the full SEFM paper archive.