Equation 3 · Part 1 · Comparing the Main Approaches to AI and Cybersecurity
Symbol epsilon
What this part means
the perturbation radius.
Its job in the formula
epsilon is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.
Full expression→Symbol epsilon→Article meaning
Where the article explains it
For a system f , an input , a perturbation radius , and a safe output region S , the property being proved typically has the form
The passage around this formula
A universally quantified guarantee over a bounded region is the shape of what such a proof states. For a system f , an input , a perturbation radius , and a safe output region S , the property being proved typically has the form
Learn the underlying idea
A variable is a named place for a value. Its letter is a local label: x can mean position in one formula and a data point in another.
Open the illustrated variables: a letter stands for a value guide →
See this notation across published equations →
Sources cited in the article section
- [7] Towards Verified Artificial Intelligence ↗
- [6] Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks ↗
These citations provide research context; check each source for the exact claim it supports.