Synthesis from Weighted Specifications with Partial Domains over Finite Words

FiliotEmmanuel; Löding, Christof; Winter, Sarah

Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2020) [Buchbeitrag, Beitrag zu einem Tagungsband]

LIPIcs, Vol. 182, 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020), pages 46:1-46:16
Seite(n): 16 pages545751 bytes

Identifikationsnummern