Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
synthesis [2011/04/19 17:04] jobstman |
synthesis [2011/04/19 17:06] jobstman |
||
|---|---|---|---|
| Line 15: | Line 15: | ||
| Below we give an incomplete list of pointers 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. | ||
| - | (UNDER CONSTRUCTION) | + | This is list under construction. Feel free to extend it. |
| ===== Synthesizers from Linear Temporal Logic (LTL or LTL-like) Specifications ===== | ===== Synthesizers from Linear Temporal Logic (LTL or LTL-like) Specifications ===== | ||