La IA y los problemas difíciles del mundo · Ciencias de la Tierra y del clima · arXiv · 2026-10-23
Verificación de robustez de un clasificador de plancton basado en un vehículo submarino autónomo
Título original: Robustness Verification of an Autonomous Underwater Vehicle-based Plankton Classifier
Los clasificadores de plancton en vehículos submarinos autónomos a menudo clasifican mal las imágenes cuando hay ruido ambiental o restos no biológicos, por lo que los biólogos marinos deben comprobar los resultados a mano. Los autores proponen un marco de verificación de robustez basado en el análisis de alcanzabilidad y lo aplican a un clasificador de EDO neuronal de tiempo continuo que usa imágenes del generador de imágenes de partículas SilCam. Se informa de que la verificación formal frente a perturbaciones ambientales funciona como un filtro automatizado que ofrece garantías formales de estabilidad del modelo con datos ambiguos, reduciendo la carga de trabajo de posprocesamiento.