Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
synthesis:ltlformat [2011/04/19 17:33] jobstman |
synthesis:ltlformat [2011/04/19 17:34] (current) jobstman |
||
|---|---|---|---|
| Line 2: | Line 2: | ||
| This notes are based on a discussion with | This notes are based on a discussion with | ||
| - | Viktor Schuppan, Rüiger , and Barbara Jobstmann. | + | Viktor Schuppan, Rüdiger Ehlers, and Barbara Jobstmann. |
| In order to obtain a common format, we have to discuss the following topics: | In order to obtain a common format, we have to discuss the following topics: | ||
| Line 12: | Line 12: | ||
| - Title and Meta-information about case studies | - Title and Meta-information about case studies | ||
| - Information about the target: Mealy, Moore, realizability | - Information about the target: Mealy, Moore, realizability | ||
| - | - Regular expressions? | + | - Regular expressions or automata? |
| - How to embed controller synthesis? Ways to specify partial models (see NuGat/NuSMV) | - How to embed controller synthesis? Ways to specify partial models (see NuGat/NuSMV) | ||