The Non-Cooperative Rational Synthesis Problem for SPEs and ω-Regular Objectives.

Vronique Bruyre, Jean-Franois Raskin, Alexis Reynouard, Marie van den Bogaard

Browse the full CONCUR paper archive.