From verification to synthesis under cost-utility constraints

Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

Toegang tot document

@article{90ecb702f62746f5b84f46ae9739e066,

title = "From verification to synthesis under cost-utility constraints",

author = "Christel Baier and Clemens Dubslaff",

year = "2018",

doi = "10.1145/3292048.3292052",

language = "English",

volume = "5",

pages = "26--46",

journal = "ACM SIGLOG News",

issn = "2372-3491",

publisher = "Association for Computing Machinery, Inc.",

number = "4",

}