Simulation and Model Checking for Close to Realtime Overtaking Planning. - Daumantas Pagojus; Alice Miller 001; Bernd Porr; Ivaylo Valkov (FMAS, 2021)

Model checking with memoisation for fast overtaking planning. - Alice Miller 001; Bernd Porr; Ivaylo Valkov; Douglas Fraser; Daumantas Pagojus (Sci. Comput. Program., 2025)