BoSy: An Experimentation Framework for Bounded Synthesis.

Peter Faymonville Bernd Finkbeiner Leander Tentrup

Published in: CAV (2) (2017)

Keyphrases

data mining
data structure
probabilistic model
main contribution
real time
multiscale
theoretical framework
decision trees
video sequences
user interface
data sources
computational model