Distributionally Robust Strategy Synthesis for Switched Stochastic Systems. - Ibon Gracia; Dimitris Boskos; Luca Laurenti; Manuel Mazo Jr. 002 (HSCC, 2023)

Data-driven strategy synthesis for stochastic systems with unknown nonlinear disturbances. - Ibon Gracia; Dimitris Boskos; Luca Laurenti; Morteza Lahijanian (L4DC, 2024)

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances. - Ibon Gracia; Luca Laurenti; Manuel Mazo Jr. 002; Alessandro Abate; Morteza Lahijanian (L4DC, 2025)

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems. - Ibon Gracia; Morteza Lahijanian (CoRR, 2025)