Verification of trajectory-dependent opacity properties via fault diagnosis.

Virginia Maria Alterio, Tianyu Liu, Carla Seatzu, Alessandro Giua

Browse the full CoDIT paper archive.