Meet your expectations with guarantees: Beyond worst-case synthesis in quantitative games

Véronique Bruyère, Emmanuel Filiot, Mickael Randour, Jean-François Raskin
2017 Information and Computation  
doi:10.1016/j.ic.2016.10.011 fatcat:ib26vfpxojcbpezew7zns47za4