Synthesis from LTL Specifications with Mean-Payoff Objectives.

Aaron Bohy, Vronique Bruyre, Emmanuel Filiot, Jean-Franois Raskin

Browse the full TACAS paper archive.