Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games.

Vronique Bruyre, Emmanuel Filiot, Mickael Randour, Jean-Franois Raskin

Browse the full STACS paper archive.