Synthesis from Component Libraries with Costs
Theor. Comput. Sci., Volume 712, 2018, Pages 50-72.
Abstract Synthesis is the automated construction of a system from its specification. In real life, hardware and software systems are rarely constructed from scratch. Rather, a system is typically constructed from a library of components. Lustig and Vardi formalized this intuition and studied LTL synthesis from component libraries. In ...More
Full Text (Upload PDF)
PPT (Upload PPT)