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

From MaRDI portal
Publication:528191

DOI10.1016/j.ic.2016.10.011zbMath1371.91022OpenAlexW2555847713MaRDI QIDQ528191

Véronique Bruyère, Mickael Randour, Jean-François Raskin, Emmanuel Filiot

Publication date: 12 May 2017

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2014/4458/




Related Items (12)



Cites Work


This page was built for publication: Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games