A Parametric Model for Near-Optimal Online Synthesis with Robust Reach-Avoid Guarantees. - Mario Gleirscher; Philip Hönnecke (AISoLA, 2024)