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:06] jobstman |
synthesis [2011/04/19 17:12] jobstman |
||
|---|---|---|---|
| Line 31: | Line 31: | ||
| * Weizmann Institute of Science ([[http://ysaar.net/|Yaniv Saar]], [[http://en.wikipedia.org/wiki/Amir_Pnueli|Amir Pnueli]]) and University of Leicester ([[http://www.cs.le.ac.uk/people/npiterman/|Nir Piterman]]) **Tools:** [[http://www.wisdom.weizmann.ac.il/~saar/synthesis/|GR1-Synthesizer]] | * Weizmann Institute of Science ([[http://ysaar.net/|Yaniv Saar]], [[http://en.wikipedia.org/wiki/Amir_Pnueli|Amir Pnueli]]) and University of Leicester ([[http://www.cs.le.ac.uk/people/npiterman/|Nir Piterman]]) **Tools:** [[http://www.wisdom.weizmann.ac.il/~saar/synthesis/|GR1-Synthesizer]] | ||
| + | |||
| + | Notes on a [[synthesis:ltlformat|common format for LTL synthesis]]. | ||
| ===== Other Game Solvers ===== | ===== Other Game Solvers ===== | ||