Formal Safety Verification Using Reachability Analysis for the Koopman Operator

Advanced On-board Navigation Techniques for Disrupted Complex Asteroid Rotators

Development of an adaptive decoding tool for the reformatting of Datalink air-ground logs

Robust attitude control for a stack of CubeSats

Hyperspectral/multispectral image fusion with a neural network regularisation

Multi-Robot Informative Path Planning

Cooperative LiDAR-based Target Tracking for a Multi-UAV System

Information-Oriented and Energy-Aware Path Planning for Multiple Air-Dropped Small Unmanned Aerial Vehicles

Optimizing AIT using AI-Driven Object Detection and Augmented Reality in Satellite Assembly

Modulation of an Intelligent Support System for a Teleoperation Interface in Space Exploration