New property (global): local robustness #23
Description
Create new property that given a sample x* and a noise value e writes down the property
X_i <= x*_i + e
X_i >= x*_i - e
{{ message }}
Create new property that given a sample x* and a noise value e writes down the property
X_i <= x*_i + e
X_i >= x*_i - e