Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
synthesis [2011/04/19 17:02] jobstman |
synthesis [2011/04/19 17:04] jobstman |
||
---|---|---|---|
Line 12: | Line 12: | ||
- | <hr> | + | ====== Research on Synthesis within and outside of the action ====== |
- | Below you will find points to research within and outside the action related to this working group. | + | Below we give an incomplete list of pointers to research within and outside the action related to this working group. |
====== Synthesizers from Linear Temporal Logic (LTL or LTL-like) Specifications ====== | ====== Synthesizers from Linear Temporal Logic (LTL or LTL-like) Specifications ====== |