Barcos robóticos estão a restaurar recifes de coral com precisão guiada por IA. A autonomia ambiental está a aumentar rapidamente, mas a robótica ecológica deve ser responsável. A inferência verificável garante que as intervenções sejam transparentes e seguras.