Pareto-Rational Verification.

Vronique Bruyre, Jean-Franois Raskin, Clment Tamines

Browse the full CONCUR paper archive.