Overview of HAD validation and passive HAD as a concept for validating highly automated cars. - Alexander Koenig; Kathrin Witzlsperger; Florin Leutwiler; Sören Hohmann (Autom., 2018)

A logic-based Benders decomposition for microscopic railway timetable planning. - Florin Leutwiler; Francesco Corman (Eur. J. Oper. Res., 2022)

Practical Automated Railway Scheduling - Exploiting Decomposition, Infeasibilities and Recurrent Situations. - Florin Leutwiler (2022)

Accelerating logic-based Benders decomposition for railway rescheduling by exploiting similarities in delays. - Florin Leutwiler; Guillem Bonet Filella; Francesco Corman (Comput. Oper. Res., 2023)

A review of principles and methods to decompose large-scale railway scheduling problems. - Florin Leutwiler; Francesco Corman (EURO J. Transp. Logist., 2023)

Set covering heuristics in a Benders decomposition for railway timetabling. - Florin Leutwiler; Francesco Corman (Comput. Oper. Res., 2023)

Geographic decompositions in railway timetable planning: Modelling and computational assessment. - Jacob Trepat Borecka; Florin Leutwiler; Francesco Corman; Nikola Besinovic (Comput. Oper. Res., 2025)