2 citations · 2 across the 5 of their papers we have counts for
5 papers
SoK: Formal Methods for Fact-Checking and Information Integrity
Nikolaos Kekatos, Theodoros Nestoridis, Charalampos Bratsas +5
An automated fact-checking system returns a label: the claim is true, or it is false. In many such systems the verdict remains the primary output. What is generally missing is a re…
Architecting the Secure AI-SOC: A Neurosymbolic Framework for Pipeline Integrity and Threat Mitigation
Anna Gazani, Spyridon Kounoupidis, Panagiotis Katsaros +3
The integration of Large Language Models (LLMs) into Security Operations Centers (SOCs) streamlines threat intelligence but introduces critical vulnerabilities, notably indirect pr…
Mission-Level Runtime Assurance for LLM-Assisted ISR Swarms over a Verification-Aware Fabric
Nikolaos Kekatos, Panagiotis Katsaros, Alexios Lekidis +2
Swarms of LLM-assisted autonomous robots are increasingly proposed for cooperative intelligence, surveillance, and reconnaissance (ISR) in contested environments. A growing class o…
Counter-example guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications
Thao Dang, Alexandre Donzé, Inzemamul Haque +2
We present a novel method for imitation learning for control requirements expressed using Signal Temporal Logic (STL). More concretely we focus on the problem of training a neural…
A Digital Twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle
Mohamed AbdElSalam, Loai Ali, Saddek Bensalem +6
In this paper, we present a novel digital twin prototype for a learning-enabled self-driving vehicle. The primary objective of this digital twin is to perform traffic sign recognit…