Publications

(2022). strategFTO: Untimed control for timed opacity. FTSCS'22.

(2022). Efficient Convex Zone Merging in Parametric Timed Automata. FORMATS 2022.

DOI Springer