AR4SPACE — PROGRAM
Days: Saturday, 25 July 2026
Saturday, 25 July 2026
09:00-10:30
Session 1
AR4Space
Location:
C3.02
| 09:00-09:30 |
Verified Explanations of Neural Networks (abstract) 30 min
1 INRIA
|
| 09:30-09:50 |
Formal Verification for Machine Learning-Based Telemetry Anomaly Detection (abstract) 20 min
1 KP Labs
2 Airbus Defence and Space
3 University of Sassari
4 University of Genoa
5 European Space Agency
|
| 09:50-10:10 |
Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models (abstract) 20 min
1 UC Berkeley
2 IIT Bombay
3 Chalmers University of Technology and University of Gothenburg
|
| 10:10-10:30 |
Certifying Guidance & Control Networks: Uncertainty Propagation to an Event Manifold (abstract) 20 min
1 Alma Mater Studiorum - Università di Bologna
2 European Space Agency
3 Skylon Dynamics
|
10:30-11:00
Coffee Break
AR4Space
Location:
C3.02
11:00-12:30
Session 2
AR4Space
Location:
C3.02
| 11:00-11:30 |
From Requirements to the Verification of Stochastic Systems (abstract) 30 min
1 University of York
|
| 11:30-11:50 |
Formalization of a language for autonomous spacecraft operations (abstract) 20 min
1 National Aeronautics and Space Administration (NASA)
2 Analytical Mechanics Associates
|
| 11:50-12:10 |
Robust Observation Planning via Facet Reasoning (abstract) 20 min
1 Linköpings Universitet
2 Linköpings Universitet, Heidelberg University
|
| 12:10-12:30 |
Cislunar Space Situational Awareness Constellation Design and Planning with Facility Location Problem (abstract) 20 min
1 University of California Irvine
2 Mitsubishi Electric Research Laboratories
3 Georgia Institute of Technology
|
12:30-14:00
Lunch
AR4Space
Location:
C3.02
14:00-15:30
Session 3
AR4Space
Location:
C3.02
| 14:00-14:30 |
Global Trajectory Optimization Competition (GTOC): The Case of GTOC12 (abstract) 30 min
1 Politecnico di Milano
|
| 14:30-14:50 |
A Mixed-Integer Optimization Toolbox for Space Logistics and Mission Planning (abstract) 20 min
1 Georgia Institute of Technology
|
| 14:50-15:10 |
Towards a Continuous-Time Keplerian Travelling Salesman Problem via Dynamic Programming (abstract) 20 min
1 CentraleSupelec
|
| 15:10-15:30 |
Towards Multi-Objective Target Selection for Exoplanet Spectroscopy (abstract) 20 min
1 King´s College London and ML Analytics
2 ML Analytics
|
15:30-16:00
Coffee Break
AR4Space
Location:
C3.02
16:00-17:00
Session 4
AR4Space
Location:
C3.02
| 16:00-16:30 |
Supply Chain Attacks: If the Weakest Link Breaks the Chain (abstract) 30 min
1 TH Lübeck
|
| 16:30-17:00 |
Bridging Optimization and Onboard Decision-Making: Automated Reasoning in Space Systems and Logistics (abstract) 30 min
1 Former Jaxa and iSpace
|