Using Controller-Synthesis Techniques to Build Property-Enforcing Layers.

Karine Altisen, Aurlie Clodic, Florence Maraninchi, ric Rutten

Browse the full ESOP paper archive.