On the synthesis of optimal schedulers in discrete event control problems with multiple goals.

Herv Marchand, Olivier Boivineau, Stphane Lafortune

Browse the full SMC paper archive.