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:04] jobstman |
synthesis [2011/10/27 17:56] barbara.jobstmann |
||
---|---|---|---|
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 ===== | ||
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 ===== | ||
- | * [[http://automata.rwth-aachen.de/research/GASt/|GasT]] (RWTH Aachen) | + | * [[https://es.fbk.eu/index.php?n=Tools.NuGaT|NuGat]] (FBK Trento) |
* [[http://www6.in.tum.de/~chengch/gavs/|GAVS+]] (TUM, Fortiss) | * [[http://www6.in.tum.de/~chengch/gavs/|GAVS+]] (TUM, Fortiss) | ||
* [[http://pub.ist.ac.at/gist/index.html|GIST]] (IST Austria, Verimag Grenoble) | * [[http://pub.ist.ac.at/gist/index.html|GIST]] (IST Austria, Verimag Grenoble) | ||
* [[http://www2.tcs.ifi.lmu.de/pgsolver/|pgsolver]] (LMU, University of Kassel) | * [[http://www2.tcs.ifi.lmu.de/pgsolver/|pgsolver]] (LMU, University of Kassel) | ||
* [[http://www.cs.aau.dk/~adavid/tiga/|UPPAL-TIGA]] Solver for timed games | * [[http://www.cs.aau.dk/~adavid/tiga/|UPPAL-TIGA]] Solver for timed games | ||
+ | * [[http://automata.rwth-aachen.de/research/GASt/|GasT]] (RWTH Aachen) not maintained anymore | ||
===== Synthesizers for Sequential Code, Code-Snippets, or Synchronization ===== | ===== Synthesizers for Sequential Code, Code-Snippets, or Synchronization ===== |