On Language-Based Opacity Verification Problem in Discrete Event Systems Under Orwellian Observation.

Salwa Habbachi, Imene Ben Hafaiedh, Zhiwu Li, Moez Krichen

Browse the full VECoS paper archive.