A Parametric Model for Near-Optimal Online Synthesis with Robust Reach-Avoid Guarantees.

Mario Gleirscher, Philip Hnnecke

Browse the full VECoS paper archive.