Multi-Aspect Runtime Verification for Simulation-Based V&V of LLM-Enabled Autonomous Agents
LLM-based agents are entering decision-support roles in defence staff work, where the obligations they must respect are already written down and binding, and where retraining is not available as a control because models arrive as procured components. What can be placed under engineering control is the interface between...
Nikolaos Kekatos, D. Nikou, Anastasios Temperekidis et al.
· 0 citations