Stackelberg-Pareto Synthesis.

Vronique Bruyre, Jean-Franois Raskin, Clment Tamines

Browse the full CONCUR paper archive.