Research Blog

On 22–23 June 2026, the Marine Robotics and Intelligent Systems group at the Universitat de les Illes Balears hosted the OCTOPUS Workshop 2026 in Palma de Mallorca. The event brought together researchers from Université Le Havre Normandie, the University of Hull, and Inha University to discuss progress, exchange ideas, and shape the next phase of collaboration.

Safety of Machine Learning with SafeML SafeML will be useful to you if you develop a dependable system with components that employ Machine Learning (ML). A key question that you may wish to address is whether and when the reasoning of these components can be trusted. Imagine that you design an autonomous car, and you wish to incorporate an ML system that uses a camera to read the state of traffic lights. You may have trained this system extensively with large volumes of da

EDDIs will be useful to you if you develop an autonomous system, a driverless car, or a mobile robot, or a complex system of systems such as a multi-robot factory system, or a swarm of drones performing a collaborative task, e.g. inspection and maintenance. The autonomy and open/cooperative nature of these systems pose new challenges for dependability. We explore how these can be addressed with new dependability monitoring technologies. Autonomous vehicles, unmanned aerial

Large Language Models (LLMs) have rapidly transformed how industries approach complex decision-making, from customer service automation to high-stakes operational environments. As their deployment expands into safety-critical domains, the need for robust mechanisms to prevent unsafe outputs and hallucinations has never been more urgent. To address this, researchers at the University of Hull have introduced SafeLLM, a novel framework that combines statistical safety filtering

HIP-HOPS: Automated Dependability Analysis and Evolutionary Design of Systems - HiP-HOPS tool website Challenge Imagine that you develop a steer-by-wire systems of cars. In Fig. 1, you see a high-level Matlab-Simulink model of a steer-by-wire system that has been designed by Volvo. Fig. 1. Example of a complex system: top-level model of a steer-by-wire system for cars by Volvo The model is already complex with many components and interactions; most of the boxes are sub