28 страниц
Определяет методологию применения формальных методов для оценки свойств робастности нейронных сетей. Основное внимание уделяется тому, как выбирать и использовать формальные методы, а также управлять ими для подтверждения свойств робастности
Скачать PDF
Чтобы бесплатно скачать этот документ в формате PDF, поддержите наш сайт и нажмите кнопку: