Robust Deterministic Abstractions for Supervising Discrete-Time Continuous Systems. - Gwendal Priser; Elena Vanneaux; Goran Frehse (RP, 2024)