Adam Walker

Identifiers

• name variant Adam Walker 0.60 · backfill

Papers (2)

1. The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results cs.LO · 2019 · author #14
2. The First Reactive Synthesis Competition (SYNTCOMP 2014) cs.LO · 2015 · author #13

Mentions

• 1506.08726 #13 · backfill · confidence 0.70 Adam Walker

Frequent Coauthors

• Leander Tentrup 2 shared papers
• Roderick Bloem 2 shared papers
• Swen Jacobs 2 shared papers
• Ayrat Khalimov 1 shared papers
• Bernd Finkbeiner 1 shared papers
• Felix Klein 1 shared papers
• Guillermo A. P\'erez 1 shared papers
• Jean-Fran\c{c}ois Raskin 1 shared papers
• Leonid Ryzhyk 1 shared papers
• Martina Seidl 1 shared papers
• Maximilien Colange 1 shared papers
• Michael Luttenberger 1 shared papers
• Mouhammad Sakr 1 shared papers
• Ocan Sankur 1 shared papers
• Peter Faymonville 1 shared papers
• Philipp J. Meyer 1 shared papers
• Robert K\"onighofer 1 shared papers
• Romain Brenguier 1 shared papers
• R\"udiger Ehlers 1 shared papers
• Salomon Sickert 1 shared papers