Login / Signup

The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results.

Swen JacobsRoderick BloemRomain BrenguierAyrat KhalimovFelix KleinRobert KönighoferJens KreberAlexander LeggNina NarodytskaGuillermo A. PérezJean-François RaskinLeonid RyzhykOcan SankurMartina SeidlLeander TentrupAdam Walker
Published in: SYNT@CAV (2016)
Keyphrases
  • significantly greater
  • international planning competition
  • program synthesis
  • significantly higher
  • benchmark suite
  • agent architecture
  • texture synthesis
  • reactive planning