Synthesizing Non-Vacuous Systems.

Roderick Bloem Hana Chockler Masoud Ebrahimi Ofer Strichman

Published in: VMCAI (2017)

Keyphrases

distributed systems
database
databases
data mining
website
case study
high level
hidden markov models
management system
information extraction
computational intelligence
complex systems
computing systems