Login / Signup

The Reactive Synthesis Competition: SYNTCOMP 2016 and Beyond.

Swen JacobsRoderick Bloem
Published in: SYNT@CAV (2016)
Keyphrases
  • program synthesis
  • agent architecture
  • data sets
  • real world
  • data mining
  • information systems
  • video sequences