Scalable multirotor UAV trajectory planning using mixed integer linear programming. - Jorik De Waen; Hoang Tung Dinh; Mário Henrique Cruz Torres; Tom Holvoet (ECMR, 2017)

Verifying autonomous decision making against environment assumptions: An experience report. - Hoang Tung Dinh; Tom Holvoet (IRC, 2020)

A Framework for Verifying Autonomous Robotic Agents Against Environment Assumptions. - Hoang Tung Dinh; Tom Holvoet (PAAMS, 2020)

Formal Verification of Autonomous UAV Behavior for Inspection Tasks Using the Knowledge Base System IDP. - Jan Vermaelen; Hoang Tung Dinh; Tom Holvoet (PAAMS, 2020)

Real-time safety assessment of trajectories for autonomous driving. - Hoang Tung Dinh; Danilo Romano; Patrick Abrahao Menani; Victor Vaquero; Quentin De Clercq; Mário Henrique C. Torres (CoRR, 2021)

Constantly distracted - Understanding How Users Cope with Smartphone Distractions. - Manfred Geiger; Hoang Tung Dinh; Ulrich Remus (ECIS, 2023)