Evidence-Aware Compositional Runtime Verification for LLM-Assisted ISR Swarms in Contested Environments

Written by Nikolaos Kekatos, Michael Ioannou, Panagiotis Katsaros, Alexios Lekidis, Theodoros Nestoridis, Tom Nianios, Dimitrios Nikou

Published: 29 October 2026

Created: 21 October 2026

Download