A Symbolic Design Method for ETCS Hybrid Level 3 at Different Degrees of Accuracy. - Stefan Engels; Tom Peham; Robert Wille (ATMOS, 2023)

Design Tasks and Their Complexity for Hybrid Level 3 of the European Train Control System. - Stefan Engels; Tom Peham; Judith Przigoda; Nils Przigoda; Robert Wille (CoRR, 2023)

Towards an Optimization Pipeline for the Design of Train Control Systems with Hybrid Train Detection (Short Paper). - Stefan Engels; Robert Wille (ATMOS, 2024)

Late Breaking Results: Iterative Design Automation for Train Control with Hybrid Train Detection. - Stefan Engels; Robert Wille (DATE, 2024)

Comparing Lazy Constraint Selection Strategies in Train Routing with Moving Block Control. - Stefan Engels; Robert Wille (FedCSIS, 2024)