Picture for Antonio Ielo

Antonio Ielo

Enumerating Minimal Unsatisfiable Cores of LTLf formulas

Add code
Sep 14, 2024
Viaarxiv icon

Continuous reasoning for adaptive container image distribution in the cloud-edge continuum

Add code
Jul 17, 2024
Viaarxiv icon