Minimizing Expected Cost Under Hard Boolean Constraints‚ with Applications to Quantitative Synthesis
Shaull Almagor‚ Orna Kupferman and Yaron Velner
Book Title
27th International Conference on Concurrency Theory‚ CONCUR 2016‚ August 23−26‚ 2016‚ Québec City‚ Canada
Editor
Josée Desharnais and Radha Jagadeesan
ISBN
978−3−95977−017−0
Pages
9:1–9:15
Series
LIPIcs
Volume
59
Year
2016