Framework di garanzia runtime a livello di missione per sciami ISR assistiti da LLM

Un recente articolo su arXiv (2607.23532v2) introduce un framework di verifica runtime composizionale a tre livelli progettato per sciami di robot autonomi assistiti da LLM impegnati in operazioni di intelligence, sorveglianza e ricognizione (ISR). Questo framework affronta i fallimenti di garanzia che emergono a livello di missione, dove azioni conformi possono portare a violazioni, come obiettivi proibiti divisi tra piattaforme o superamento dei budget collettivi. Le protezioni standard per singola piattaforma sono insufficienti e le comunicazioni contestate possono oscurare le violazioni. L'approccio proposto scompone le politiche di missione in componenti individuali e collaborative, consolida i verdetti per piattaforma attraverso un sistema di messaggistica consapevole della verifica e li integra utilizzando un'algebra basata su due assi (sicurezza x completezza) consapevole delle prove. Questo articolo è stato rilasciato come aggiornamento replace-cross su arXiv.