Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes.

Ahmed Bouajjani Wael-Amine Boutglay Peter Habermehl

Published in: CoRR (2022)

Keyphrases

data driven
numerical data
numerical attributes
automatically generate
attribute values
affine transformation
binary valued
qualitative and quantitative
multi attribute
nominal attributes
databases
decision trees
d objects
decision table
texture synthesis