ГОСТ Р ИСО/МЭК 24029-2-2024
Искусственный интеллект. Оценка робастности нейронных сетей. Часть 2. Методология использования формальных методов
Определяет методологию применения формальных методов для оценки свойств робастности нейронных сетей. Основное внимание уделяется тому, как выбирать и использовать формальные методы, а также управлять ими для подтверждения свойств робастности