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:02] jobstman |
synthesis [2011/10/27 17:56] barbara.jobstmann |
||
|---|---|---|---|
| Line 12: | Line 12: | ||
| - | <hr> | + | ====== Research on Synthesis within and outside of the action ====== |
| - | Below you will find points 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. |
| + | 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 ===== |
| - | + | ||
| - | (UNDER CONSTRUCTION) | + | |
| Here is an incomplete list of people and tools on the topic of synthesis from linear temporal logic specifications. | Here is an incomplete list of people and tools on the topic of synthesis from linear temporal logic specifications. | ||
| Line 33: | Line 32: | ||
| - | ====== Other Game Solvers ====== | + | Notes on a [[synthesis:ltlformat|common format for LTL synthesis]]. |
| + | |||
| + | ===== 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 ===== |
| * [[http://lara.epfl.ch/w/impro|EPFL, LARA]] (Viktor Kuncak) **Implicit programming** | * [[http://lara.epfl.ch/w/impro|EPFL, LARA]] (Viktor Kuncak) **Implicit programming** | ||
| * [[http://research.microsoft.com/en-us/um/people/sumitg/pubs/synthesis.html|Microsoft Research (Redmond Lab), RiSE Group]] (Sumit Gulwani) | * [[http://research.microsoft.com/en-us/um/people/sumitg/pubs/synthesis.html|Microsoft Research (Redmond Lab), RiSE Group]] (Sumit Gulwani) | ||