Adam Walker (NICTA
Identifiers
No identifiers captured yet.
Papers (2)
- Developing a Practical Reactive Synthesis Tool: Experience and Lessons Learned cs.SE · 2016 · author #2
- The Second Reactive Synthesis Competition (SYNTCOMP 2015) cs.LO · 2016 · author #32
Mentions
No mention provenance yet.
Frequent Coauthors
- Australia 1 shared papers
- Australia) 1 shared papers
- Austria) 1 shared papers
- Belgium) 1 shared papers
- Brussels 1 shared papers
- Carnegie Mellon University 1 shared papers
- Germany) 1 shared papers
- Guillermo A. P\'erez (Universit\'e Libre de Bruxelles 1 shared papers
- Jean-Fran\c{c}ois Raskin (Universit\'e Libre de Bruxelles 1 shared papers
- Leander Tentrup (Saarland University 1 shared papers
- Leonid Ryzhyk (NICTA 1 shared papers
- Leonid Ryzhyk (Samsung Research America) 1 shared papers
- Linz 1 shared papers
- Martina Seidl (Johannes-Kepler-University 1 shared papers
- Ocan Sankur (Universit\'e Libre de Bruxelles 1 shared papers
- Pittsburgh 1 shared papers
- Robert K\"onighofer (Graz University of Technology 1 shared papers
- Roderick Bloem (Graz University of Technology 1 shared papers
- Romain Brenguier (Universit\'e Libre de Bruxelles 1 shared papers
- Saarbr\"ucken 1 shared papers