Login / Signup

The Second Reactive Synthesis Competition (SYNTCOMP 2015).

Swen JacobsRoderick BloemRomain BrenguierRobert KönighoferGuillermo A. PérezJean-François RaskinLeonid RyzhykOcan SankurMartina SeidlLeander TentrupAdam Walker
Published in: SYNT (2015)
Keyphrases
  • computer vision
  • agent architecture
  • program synthesis
  • international competition
  • real world
  • event driven
  • data sets
  • information retrieval
  • evolutionary algorithm
  • temporal logic