Supervisory Synthesis of Configurable Behavioural Contracts with Modalities.

Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian-Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico

Browse the full FORTE paper archive.