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)
Buchbeitrag, Beitrag zu einem Tagungsband

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
Seite(n)/Artikel-Nr.: 46:1-46:16

Einrichtungen

• Fachgruppe Informatik [120000]
• [122110]
• Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme) [122910]