Specification Format for Reactive Synthesis Problems.

Published in: SYNT (2015)

Keyphrases

data sets
problems involving
neural network
data mining
artificial intelligence
social networks
multimedia
web services
benchmark problems
related problems
difficult problems
file formats