DENSE INTEGER-COMPLETE SYNTHESIS FOR BOUNDED PARAMETRIC TIMED AUTOMATA. - ANDRÉ, ÉTIENNE; LIME, DIDIER; ROUX, OLIVIER H. (Logical Methods in Computer Science (LMCS), 2026)