High−Quality Synthesis Against Stochastic Environments
Shaull Almagor and Orna Kupferman
Book Title
25th EACSL Annual Conference on Computer Science Logic‚ CSL 2016‚ August 29 − September 1‚ 2016‚ Marseille‚ France
Editor
Jean−Marc Talbot and Laurent Regnier
ISBN
978−3−95977−022−4
Pages
28:1–28:17
Series
LIPIcs
Volume
62
Year
2016