Synthesis from Weighted Specifications with Partial Domains over Finite Words

Filiot, Emmanuel (Corresponding author); Löding, Christof (Corresponding author); Winter, Sarah (Corresponding author)

Saarbrücken/Wadern, Germany : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, December (2020)
Contribution to a book, Contribution to a conference proceedings

In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science : FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (virtual conference) / edited by Nitin Saxena, Sunil Simon
Page(s)/Article-Nr.: 46:1-46:16

Institutions

• Department of Computer Science [120000]
• [122110]
• Chair of Computer Science 7 (Logic and Theory of Discrete Systems) [122910]