Verification of trajectory-dependent opacity properties via fault diagnosis.

Wed, 01 Jan 2025 00:00:00 +0100

Virginia Maria Alterio, Tianyu Liu, Carla Seatzu, Alessandro Giua:
Verification of trajectory-dependent opacity properties via fault diagnosis. CoDIT 2025: 2707-2713