OPTIMAL CONTROLLER SYNTHESIS FOR TIMED SYSTEMS. - BUSATTO-GASTON, DAMIEN; MONMEGE, BENJAMIN; REYNIER, PIERRE-ALAIN (Logical Methods in Computer Science (LMCS), 2023)