From verification to synthesis under cost-utility constraints
Year: 2018
Type: article
Source: ACM SIGLOG News
Authors: Christel Baier, Clemens Dubslaff
Institution: Technische Universität Dresden
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2903395978