Don't Compose Blindly: Adaptive GNNs for Opacity Verification in Modular Discrete-Event Systems.

Salwa Habbachi, Imene Ben Hafaiedh, Zhiwu Li

Browse the full ICAART paper archive.