Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
synthesis:ltlformat [2011/04/19 17:34] jobstman |
synthesis:ltlformat [2011/04/19 17:34] (current) jobstman |
||
---|---|---|---|
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) | ||