A domain-specific language for task handlers generation, applying discrete controller synthesis.

Gwenal Delaval, ric Rutten

Browse the full SAC paper archive.