output
20072024
most citedThe AGILE Mission

381 citations

33 papers

cs.AI2024★ 6 cited

Integrating Large Language Models and Knowledge Graphs for Extraction and Validation of Textual Test Data

Antonio De Santis, Marco Balduini, Federico De Santis +4

Aerospace manufacturing companies, such as Thales Alenia Space, design, develop, integrate, verify, and validate products characterized by high complexity and low volume. They care…

math.OC2023★ 1 cited

Control problems on infinite horizon subject to time-dependent pure state constraints

Vincenzo Basco

In the last decades, control problems with infinite horizons and discount factors have become increasingly central not only for economics but also for applications in artificial in…

gr-qc2023★ 1 cited

On the first test of the Weak Equivalence Principle in low Earth orbit

Anna M. Nobili, Alberto Anselmi

The Weak Equivalence Principle is the founding pillar of General Relativity and as such it should be verified as precisely as possible. The Microscope experiment tested it in low E…

math.OC2022

Lipschitz regularity of controls and inversion mapping for a class of smooth extremization problems

Vincenzo Basco

In the contest of optimal control problems, regularity results for optima are known when addressing fiber-strictly convex Lagrangian. For infinite time horizons, or for settings wi…

math.AP2022★ 3 cited

Weak epigraphical solutions to Hamilton-Jacobi-Bellman equations on infinite horizon

Vincenzo Basco

In this paper we show a uniqueness result for weak epigraphical solutions of Hamilton-Jacobi-Bellman (HJB) equations on infinite horizon for a class of lower semicontinuous functio…

nucl-th2021★ 34 cited

Total nuclear reaction cross-section database for radiation protection in space and heavy-ion therapy applications

F Luoni, F Horst, CA Reidel +10

Realistic nuclear reaction cross-section models are an essential ingredient of reliable heavy-ion transport codes. Such codes are used for risk evaluation of manned space explorati…