Roderick Bloem Krishnendu Chatterjee Thomas A. Henzinger Barbara Jobstmann Better Quality in Synthesis through Quantitative Objectives http://arxiv.org/abs/0904.2638 2009 CoRR abs/0904.2638 db/journals/corr/corr0904.html#abs-0904-2638 informal publication