4 papers
Human-in-the-Loop Uncertainty Analysis in Self-Adaptive Robots Using LLMs
Hassan Sartaj, Jalil Boudjadar, Mirgita Frasheri +2
Self-adaptive robots operate in dynamic, unpredictable environments where unaddressed uncertainties can lead to safety violations and operational failures. However, systematically…
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…
Digital Twin Enabled Runtime Verification for Autonomous Mobile Robots under Uncertainty
Joakim Schack Betzer, Jalil Boudjadar, Mirgita Frasheri +1
As autonomous robots increasingly navigate complex and unpredictable environments, ensuring their reliable behavior under uncertainty becomes a critical challenge. This paper intro…
Cilium and VDM -- Towards Formal Analysis of Cilium Policies
Tomas Kulik, Jalil Boudjadar
Industrial control systems are becoming more distributed and interconnected to allow for interaction with modern computing infrastructures. Furthermore, the amount of data generate…