Efficient handling of obligation constraints in synthesis from omega-regular specifications.

Saqib Sohail Fabio Somenzi

Published in: FMCAD (2013)

Keyphrases

case study
neural network
data sets
real world
information retrieval
artificial intelligence
search engine
image sequences
data model
programming language
computationally expensive