Better Quality in Synthesis through Quantitative Objectives

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

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	International Conference on Computer Aided Verification
Publisher	.
Pages	140-156
DOIs	https://doi.org/10.1007/978-3-642-02658-4_14
Publication status	Published - 2009

Access to Document

Formal Methods for Design & Verification
Jacobs, S., Bloem, R., Könighofer, R., Könighofer, B., Khalimov, A., Hofferek, G. & Braud-Santoni, N.
1/02/08 → 15/07/19
Project: Research area
EU - COCONUT - A correct-by-construction workbench for design and verification of embedded systems
Könighofer, R., Hofferek, G., Greimel, K. & Bloem, R.
1/01/08 → 30/06/10
Project: Research project

@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 paper

SP - 140

EP - 156

BT - International Conference on Computer Aided Verification

PB - .

ER -