Better Quality in Synthesis through Quantitative Objectives

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

Research output: Chapter in Book/Report/Conference proceedingConference paper

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

Cite this