Synthesis from Component Libraries with Costs

Theor. Comput. Sci., Volume 712, 2018, Pages 50-72.

Cited by: 1|Bibtex|Views3|Links
EI

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments