Better quality in synthesis through quantitative objectives. (2009)

by R Bloem, K Chatterjee, T A Henzinger, B Jobstmann
Venue:In Computer Aided Verification,