Parameter Synthesis with IC3 (Informal Presentation).

Alessandro Cimatti Alberto Griggio Sergio Mover Stefano Tonetta

Published in: SynCoP (2015)

Keyphrases

integrated circuit
multimedia
program synthesis
parameter space
parameter values
input parameters
machine learning
texture synthesis
real world
information retrieval
information systems
database systems
learning environment
multi agent systems
mobile robot
window size