A
Adam Walker
Researcher at NICTA
Publications - 16
Citations - 280
Adam Walker is an academic researcher from NICTA. The author has contributed to research in topics: Benchmark (computing) & Competition (economics). The author has an hindex of 10, co-authored 15 publications receiving 249 citations. Previous affiliations of Adam Walker include University of New South Wales & University of Auckland.
Papers
More filters
Proceedings ArticleDOI
User-guided device driver synthesis
TL;DR: Tmite-2 is the first tool to combine the power of automation with the flexibility of conventional development, and is also the first practical synthesis tool based on abstraction refinement, to support automated debugging of input specifications.
Journal ArticleDOI
The first reactive synthesis competition (SYNTCOMP 2014)
Swen Jacobs,Roderick Bloem,Romain Brenguier,Rüdiger Ehlers,Timotheus Hell,Robert Könighofer,Guillermo A. Pérez,Jean-François Raskin,Leonid Ryzhyk,Ocan Sankur,Martina Seidl,Leander Tentrup,Adam Walker +12 more
TL;DR: This work introduces the reactive synthesis competition (SYNTCOMP), a long-term effort intended to stimulate and guide advances in the design and application of synthesis procedures for reactive systems, and presents and analyze the results of the competition.
Proceedings ArticleDOI
Predicate Abstraction for Reactive Synthesis
Adam Walker,Leonid Ryzhyk +1 more
TL;DR: A predicate-based abstraction refinement algorithm for solving reactive games by solving game instances that could not be feasibly solved without using abstraction or using simpler forms of abstraction.
Journal ArticleDOI
The Second Reactive Synthesis Competition (SYNTCOMP 2015)
Swen Jacobs,Roderick Bloem,Romain Brenguier,Robert Könighofer,Guillermo A. Pérez,Jean-François Raskin,Leonid Ryzhyk,Ocan Sankur,Martina Seidl,Leander Tentrup,Adam Walker +10 more
TL;DR: The second reactive synthesis competition (SYNTCOMP2015) as mentioned in this paper was the first edition of the challenge, with 6 completely new sets of benchmarks, and additional challenging instances for 4 of the benchmark sets.
Book ChapterDOI
Solving Games without Controllable Predecessor
TL;DR: This work uses counterexample-guided backtracking search to identify a subset of runs that are sufficient to consider to solve reachability games and proves that these runs can be generalised into a winning strategy on behalf of one of the players.