Synthesis from Weighted Specifications with Partial Domains over Finite Words

FiliotEmmanuel; Löding, Christof; Winter, Sarah

Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2020) [Contribution to a book, Contribution to a conference proceedings]

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