Login / Signup

The first reactive synthesis competition (SYNTCOMP 2014).

Swen JacobsRoderick BloemRomain BrenguierRüdiger EhlersTimotheus HellRobert KönighoferGuillermo A. PérezJean-François RaskinLeonid RyzhykOcan SankurMartina SeidlLeander TentrupAdam Walker
Published in: Int. J. Softw. Tools Technol. Transf. (2017)
Keyphrases
  • reactive planning
  • artificial intelligence
  • agent architecture
  • texture synthesis
  • wide range
  • cooperative
  • website
  • image segmentation
  • digital libraries
  • event driven
  • analog circuits
  • reactive agents
  • functional programs