Better Quality in Synthesis through Quantitative Objectives

Roderick Paul Bloem, Krishnendu Chatterjee, Thomas Henziger, Barbara Jobstmann

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationInternational Conference on Computer Aided Verification
Publisher.
Pages140-156
DOIs
Publication statusPublished - 2009

Cite this

Bloem, R. P., Chatterjee, K., Henziger, T., & Jobstmann, B. (2009). Better Quality in Synthesis through Quantitative Objectives. In International Conference on Computer Aided Verification (pp. 140-156). .. https://doi.org/10.1007/978-3-642-02658-4_14

Better Quality in Synthesis through Quantitative Objectives. / Bloem, Roderick Paul; Chatterjee, Krishnendu; Henziger, Thomas; Jobstmann, Barbara.

International Conference on Computer Aided Verification. ., 2009. p. 140-156.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Bloem, RP, Chatterjee, K, Henziger, T & Jobstmann, B 2009, Better Quality in Synthesis through Quantitative Objectives. in International Conference on Computer Aided Verification. ., pp. 140-156. https://doi.org/10.1007/978-3-642-02658-4_14
Bloem RP, Chatterjee K, Henziger T, Jobstmann B. Better Quality in Synthesis through Quantitative Objectives. In International Conference on Computer Aided Verification. . 2009. p. 140-156 https://doi.org/10.1007/978-3-642-02658-4_14
Bloem, Roderick Paul ; Chatterjee, Krishnendu ; Henziger, Thomas ; Jobstmann, Barbara. / Better Quality in Synthesis through Quantitative Objectives. International Conference on Computer Aided Verification. ., 2009. pp. 140-156
@inproceedings{9f98b07830b74115a96a60214e0aa26e,
title = "Better Quality in Synthesis through Quantitative Objectives",
author = "Bloem, {Roderick Paul} and Krishnendu Chatterjee and Thomas Henziger and Barbara Jobstmann",
year = "2009",
doi = "http://dx.doi.org/10.1007/978-3-642-02658-4_14",
language = "English",
pages = "140--156",
booktitle = "International Conference on Computer Aided Verification",
publisher = ".",

}

TY - GEN

T1 - Better Quality in Synthesis through Quantitative Objectives

AU - Bloem, Roderick Paul

AU - Chatterjee, Krishnendu

AU - Henziger, Thomas

AU - Jobstmann, Barbara

PY - 2009

Y1 - 2009

U2 - http://dx.doi.org/10.1007/978-3-642-02658-4_14

DO - http://dx.doi.org/10.1007/978-3-642-02658-4_14

M3 - Conference contribution

SP - 140

EP - 156

BT - International Conference on Computer Aided Verification

PB - .

ER -