3 papers
cs.SE2025
Search-based Selection of Metamorphic Relations for Optimized Robustness Testing of Large Language Models
Sangwon Hyun, Shaukat Ali, M. Ali Babar
Assessing the trustworthiness of Large Language Models (LLMs), such as robustness, has garnered significant attention. Recently, metamorphic testing that defines Metamorphic Relati…
cs.RO2025
Digital Twin-based Out-of-Distribution Detection in Autonomous Vessels
Erblin Isaku, Hassan Sartaj, Shaukat Ali
An autonomous vessel (AV) is a complex cyber-physical system (CPS) with software enabling many key functionalities, e.g., navigation software enables an AV to autonomously or semi-…
cs.RO2025
Identifying Uncertainty in Self-Adaptive Robotics with Large Language Models
Hassan Sartaj, Jalil Boudjadar, Mirgita Frasheri +2
Future self-adaptive robots are expected to operate in highly dynamic environments while effectively managing uncertainties. However, identifying the sources and impacts of uncerta…