ИИ и сложнейшие проблемы мира · Науки о Земле и климате · arXiv · 2026-10-23
Верификация устойчивости классификатора планктона на основе автономного подводного аппарата
Оригинальное название: Robustness Verification of an Autonomous Underwater Vehicle-based Plankton Classifier
Классификаторы планктона на автономных подводных аппаратах часто ошибаются в классификации изображений при наличии шумов окружающей среды или небиологического мусора, поэтому морским биологам приходится проверять результаты вручную. Авторы предлагают фреймворк верификации устойчивости на основе анализа достижимости и применяют его к классификатору на основе нейронных ОДУ с непрерывным временем, использующему изображения с счётчика частиц SilCam. Сообщается, что формальная верификация относительно возмущений окружающей среды работает как автоматический фильтр, дающий формальные гарантии устойчивости модели на неоднозначных данных и снижающий объём постобработки.